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