Mercurial > urweb

comparison src/corify.sml @ 144:f0d3402184d1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents adfa2c7a75da
children 80ac94b54e41
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
494 ((L.DVal ("wrap_" ^ s, 0, 494 ((L.DVal ("wrap_" ^ s, 0,
495 (L.TFun (dom, ran), loc), 495 (L.TFun (dom, ran), loc),
496 e), loc) :: wds, 496 e), loc) :: wds,
497 (fn st => 497 (fn st =>
498 case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of 498 case #1 (corifyExp st (L.EModProj (en, [], "wrap_" ^ s), loc)) of
499 L'.ENamed n => (L'.DExport n, loc) 499 L'.ENamed n => (L'.DExport (L'.Link, n), loc)
500 | _ => raise Fail "Corify: Value to export didn't corify properly") 500 | _ => raise Fail "Corify: Value to export didn't corify properly")
501 :: eds) 501 :: eds)
502 end 502 end
503 | _ => (wds, eds)) 503 | _ => (wds, eds))
504 | _ => (wds, eds) 504 | _ => (wds, eds)