Mercurial > urweb

diff src/corify.sml @ 398:ab3177746c78

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple listShop working
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 13:24:54 -0400
parents 78358e5df273
children 82067ea6e723
line wrap: on
line diff
--- a/src/corify.sml	Tue Oct 21 12:06:35 2008 -0400
+++ b/src/corify.sml	Tue Oct 21 13:24:54 2008 -0400
@@ -696,7 +696,7 @@
       | L.DSgn _ => ([], st)
 
       | L.DStr (x, n, _, (L.StrFun (xa, na, _, _, str), _)) =>
-        ([], St.bindFunctor st mods x n xa na str)
+        ([], St.bindFunctor st (x :: mods) x n xa na str)
 
       | L.DStr (x, n, _, (L.StrProj (str, x'), _)) =>
         let