Mercurial > urweb

comparison src/cloconv.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
comparison
equal deleted inserted replaced
105:da760c34f5ed 106:d101cb1efe55
202 val (e, D) = ccExp env (e, D) 202 val (e, D) = ccExp env (e, D)
203 in 203 in
204 ((L'.EWrite e, loc), D) 204 ((L'.EWrite e, loc), D)
205 end 205 end
206 206
207 | L.ESeq (e1, e2) =>
208 let
209 val (e1, D) = ccExp env (e1, D)
210 val (e2, D) = ccExp env (e2, D)
211 in
212 ((L'.ESeq (e1, e2), loc), D)
213 end
214
207 fun ccDecl ((d, loc), D) = 215 fun ccDecl ((d, loc), D) =
208 case d of 216 case d of
209 L.DVal (x, n, t, e) => 217 L.DVal (x, n, t, e) =>
210 let 218 let
211 val t = ccTyp t 219 val t = ccTyp t