Mercurial > urweb

comparison src/prepare.sml @ 387:7abb28e9d51f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Binops; equality tested on int; lame 404 substitute
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 09:50:19 -0400
parents e976b187d73a
children 322c8620bbdf
comparison
equal deleted inserted replaced
386:ef43ed6cd1de 387:7abb28e9d51f
86 val (es, sns) = ListUtil.foldlMap prepExp sns es 86 val (es, sns) = ListUtil.foldlMap prepExp sns es
87 in 87 in
88 ((EApp (e1, es), loc), sns) 88 ((EApp (e1, es), loc), sns)
89 end 89 end
90 90
91 | EUnop (s, e1) =>
92 let
93 val (e1, sns) = prepExp (e1, sns)
94 in
95 ((EUnop (s, e1), loc), sns)
96 end
97 | EBinop (s, e1, e2) =>
98 let
99 val (e1, sns) = prepExp (e1, sns)
100 val (e2, sns) = prepExp (e2, sns)
101 in
102 ((EBinop (s, e1, e2), loc), sns)
103 end
104
91 | ERecord (rn, xes) => 105 | ERecord (rn, xes) =>
92 let 106 let
93 val (xes, sns) = ListUtil.foldlMap (fn ((x, e), sns) => 107 val (xes, sns) = ListUtil.foldlMap (fn ((x, e), sns) =>
94 let 108 let
95 val (e, sns) = prepExp (e, sns) 109 val (e, sns) = prepExp (e, sns)