Mercurial > urweb

comparison src/monoize.sml @ 29:537db4ee89f4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Translation to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 10 Jun 2008 18:28:43 -0400
parents 4ab19c19665f
children 0a5c312de09a
comparison
equal deleted inserted replaced
28:104d43266b33 29:537db4ee89f4
89 | L.EAbs (x, dom, ran, e) => 89 | L.EAbs (x, dom, ran, e) =>
90 (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc) 90 (L'.EAbs (x, monoType env dom, monoType env ran, monoExp (Env.pushERel env x dom) e), loc)
91 | L.ECApp _ => poly () 91 | L.ECApp _ => poly ()
92 | L.ECAbs _ => poly () 92 | L.ECAbs _ => poly ()
93 93
94 | L.ERecord xes => (L'.ERecord (map (fn (x, e) => (monoName env x, monoExp env e)) xes), loc) 94 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc)
95 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc) 95 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc)
96 end 96 end
97 97
98 fun monoDecl env (all as (d, loc)) = 98 fun monoDecl env (all as (d, loc)) =
99 let 99 let