Mercurial > urweb

comparison src/monoize.sml @ 607:0dd40b6bfdf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of RPCification
author Adam Chlipala <adamc@hcoop.net>
date Sat, 14 Feb 2009 14:07:56 -0500
parents 5145181b02fa
children 330a7de47914
comparison
equal deleted inserted replaced
606:5145181b02fa 607:0dd40b6bfdf3
2222 val (e1, fm) = monoExp (env, st, fm) e1 2222 val (e1, fm) = monoExp (env, st, fm) e1
2223 val (e2, fm) = monoExp (Env.pushERel env x t, st, fm) e2 2223 val (e2, fm) = monoExp (Env.pushERel env x t, st, fm) e2
2224 in 2224 in
2225 ((L'.ELet (x, t', e1, e2), loc), fm) 2225 ((L'.ELet (x, t', e1, e2), loc), fm)
2226 end 2226 end
2227
2228 | L.EServerCall _ => raise Fail "Monoize EServerCall"
2227 end 2229 end
2228 2230
2229 fun monoDecl (env, fm) (all as (d, loc)) = 2231 fun monoDecl (env, fm) (all as (d, loc)) =
2230 let 2232 let
2231 fun poly () = 2233 fun poly () =