Mercurial > urweb

comparison src/prepare.sml @ 291:550100a44cca

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'read' for strings
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 11:56:53 -0400
parents c0e4ac23522d
children 59dc042629b9
comparison
equal deleted inserted replaced
290:df00701f2323 291:550100a44cca
57 | ECon (dk, pc, SOME e) => 57 | ECon (dk, pc, SOME e) =>
58 let 58 let
59 val (e, sns) = prepExp (e, sns) 59 val (e, sns) = prepExp (e, sns)
60 in 60 in
61 ((ECon (dk, pc, SOME e), loc), sns) 61 ((ECon (dk, pc, SOME e), loc), sns)
62 end
63 | ESome (t, e) =>
64 let
65 val (e, sns) = prepExp (e, sns)
66 in
67 ((ESome (t, e), loc), sns)
62 end 68 end
63 | EFfi _ => (e, sns) 69 | EFfi _ => (e, sns)
64 | EFfiApp (m, x, es) => 70 | EFfiApp (m, x, es) =>
65 let 71 let
66 val (es, sns) = ListUtil.foldlMap prepExp sns es 72 val (es, sns) = ListUtil.foldlMap prepExp sns es