Mercurial > urweb
diff src/corify.sml @ 144:f0d3402184d1
Simple forms work
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 22 Jul 2008 15:12:20 -0400 |
parents | adfa2c7a75da |
children | 80ac94b54e41 |
line wrap: on
line diff
--- a/src/corify.sml Sun Jul 20 13:30:19 2008 -0400 +++ b/src/corify.sml Tue Jul 22 15:12:20 2008 -0400 @@ -496,7 +496,7 @@ e), loc) :: wds, (fn st => case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of - L'.ENamed n => (L'.DExport n, loc) + L'.ENamed n => (L'.DExport (L'.Link, n), loc) | _ => raise Fail "Corify: Value to export didn't corify properly") :: eds) end