Mercurial > urweb

comparison src/corify.sml @ 1104:72670131dace

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Basis.serialize; separate file for mhash; run transactional finishers in reverse order; set needs_sig properly
author Adam Chlipala <adamc@hcoop.net>
date Thu, 31 Dec 2009 11:41:57 -0500
parents 0657e5adc938
children e1d738870086
comparison
equal deleted inserted replaced
1103:2f42c61b8d0a 1104:72670131dace
999 ((L.DVal ("wrap_" ^ s, 0, 999 ((L.DVal ("wrap_" ^ s, 0,
1000 (L.TFun (dom, ranT), loc), 1000 (L.TFun (dom, ranT), loc),
1001 e), loc) :: wds, 1001 e), loc) :: wds,
1002 (fn st => 1002 (fn st =>
1003 case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of 1003 case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of
1004 L'.ENamed n => (L'.DExport (L'.Link, n), loc) 1004 L'.ENamed n => (L'.DExport (L'.Link, n, false), loc)
1005 | _ => raise Fail "Corify: Value to export didn't corify properly") 1005 | _ => raise Fail "Corify: Value to export didn't corify properly")
1006 :: eds) 1006 :: eds)
1007 else 1007 else
1008 (wds, eds) 1008 (wds, eds)
1009 end 1009 end