Mercurial > urweb

comparison src/cjrize.sml @ 106:d101cb1efe55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More with attributes and efficient serialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 15:49:14 -0400
parents 5f04adf47f48
children 813e5a52063d
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
165 val (e, sm) = cifyExp (e, sm) 165 val (e, sm) = cifyExp (e, sm)
166 in 166 in
167 ((L'.EWrite e, loc), sm) 167 ((L'.EWrite e, loc), sm)
168 end 168 end
169 169
170 | L.ESeq (e1, e2) =>
171 let
172 val (e1, sm) = cifyExp (e1, sm)
173 val (e2, sm) = cifyExp (e2, sm)
174 in
175 ((L'.ESeq (e1, e2), loc), sm)
176 end
177
170 fun cifyDecl ((d, loc), sm) = 178 fun cifyDecl ((d, loc), sm) =
171 case d of 179 case d of
172 L.DVal (x, n, t, e) => 180 L.DVal (x, n, t, e) =>
173 let 181 let
174 val (t, sm) = cifyTyp (t, sm) 182 val (t, sm) = cifyTyp (t, sm)