Mercurial > urweb

comparison src/cjrize.sml @ 111:2d6116de9cca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Closure code generation almost there
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 12:06:47 -0400
parents 813e5a52063d
children c5d7ce9ddd57
comparison
equal deleted inserted replaced
110:3739af9e727a 111:2d6116de9cca
153 val (e2, sm) = cifyExp (e2, sm) 153 val (e2, sm) = cifyExp (e2, sm)
154 in 154 in
155 ((L'.ESeq (e1, e2), loc), sm) 155 ((L'.ESeq (e1, e2), loc), sm)
156 end 156 end
157 157
158 | L.EClosure _ => (ErrorMsg.errorAt loc "Nested closure remains in code generation";
159 (dummye, sm))
160
158 fun cifyDecl ((d, loc), sm) = 161 fun cifyDecl ((d, loc), sm) =
159 case d of 162 case d of
160 L.DVal (x, n, t, e, _) => 163 L.DVal (x, n, t, e, _) =>
161 let 164 let
162 val (t, sm) = cifyTyp (t, sm) 165 val (t, sm) = cifyTyp (t, sm)