comparison src/corify.sml @ 1979:81bc76aa4acd

Merge in upstream changes.
author Patrick Hurst <phurst@mit.edu>
date Sat, 18 Jan 2014 18:26:24 -0500
parents 6745eafff617
children 210fb3dfc483
comparison
equal deleted inserted replaced
1978:c5143edaf3c7 1979:81bc76aa4acd
1044 case corifyCon st t of 1044 case corifyCon st t of
1045 (L'.CFfi ("Basis", "postBody"), _) => true 1045 (L'.CFfi ("Basis", "postBody"), _) => true
1046 | _ => false) args then 1046 | _ => false) args then
1047 L'.Extern L'.ReadCookieWrite 1047 L'.Extern L'.ReadCookieWrite
1048 else 1048 else
1049 L'.Link 1049 L'.Link L'.ReadCookieWrite
1050 in 1050 in
1051 ((L.DVal ("wrap_" ^ s, 0, tf, e), loc) :: wds, 1051 ((L.DVal ("wrap_" ^ s, 0, tf, e), loc) :: wds,
1052 (fn st => 1052 (fn st =>
1053 case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of 1053 case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of
1054 L'.ENamed n => (L'.DExport (expKind, n, false), loc) 1054 L'.ENamed n => (L'.DExport (expKind, n, false), loc)