Mercurial > urweb

comparison src/monoize.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children 2d6116de9cca
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
190 190
191 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc) 191 | L.ERecord xes => (L'.ERecord (map (fn (x, e, t) => (monoName env x, monoExp env e, monoType env t)) xes), loc)
192 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc) 192 | L.EField (e, x, _) => (L'.EField (monoExp env e, monoName env x), loc)
193 | L.EFold _ => poly () 193 | L.EFold _ => poly ()
194 | L.EWrite e => (L'.EWrite (monoExp env e), loc) 194 | L.EWrite e => (L'.EWrite (monoExp env e), loc)
195
196 | L.EClosure _ => raise Fail "Monoize EClosure"
195 end 197 end
196 198
197 fun monoDecl env (all as (d, loc)) = 199 fun monoDecl env (all as (d, loc)) =
198 let 200 let
199 fun poly () = 201 fun poly () =