Mercurial > urweb

comparison src/monoize.sml @ 450:07f6576aeb0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wrapping works in Blog
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 16:46:16 -0400
parents dfc8c991abd0
children 222cbc1da232
comparison
equal deleted inserted replaced
449:89f766f19d5b 450:07f6576aeb0a
1952 monoExp (env, st, fm) e) 1952 monoExp (env, st, fm) e)
1953 fm es 1953 fm es
1954 in 1954 in
1955 ((L'.EClosure (n, es), loc), fm) 1955 ((L'.EClosure (n, es), loc), fm)
1956 end 1956 end
1957
1958 | L.ELet (x, t, e1, e2) =>
1959 let
1960 val t' = monoType env t
1961 val (e1, fm) = monoExp (env, st, fm) e1
1962 val (e2, fm) = monoExp (Env.pushERel env x t, st, fm) e2
1963 in
1964 ((L'.ELet (x, t', e1, e2), loc), fm)
1965 end
1957 end 1966 end
1958 1967
1959 fun monoDecl (env, fm) (all as (d, loc)) = 1968 fun monoDecl (env, fm) (all as (d, loc)) =
1960 let 1969 let
1961 fun poly () = 1970 fun poly () =