diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 13:24:54 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 13:24:54 -0400 |
commit | ac6a32c651d76d10650fffb99f77f05c583ff0cf (patch) | |
tree | e9764619179aa37aef1cdfa46612020e176c1a1d /src/corify.sml | |
parent | a23f12953a60c8f8d663266a9644a08a905b7b36 (diff) |
Simple listShop working
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index 8d754d87..09af27d0 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -696,7 +696,7 @@ fun corifyDecl mods ((d, loc : EM.span), st) = | 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 |