Mercurial > urweb

comparison src/mono_print.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 bb27c7efcd90
comparison
equal deleted inserted replaced
386:ef43ed6cd1de 387:7abb28e9d51f
155 p_typ env t, 155 p_typ env t,
156 space, 156 space,
157 string "=>", 157 string "=>",
158 space, 158 space,
159 p_exp (E.pushERel env x t NONE) e]) 159 p_exp (E.pushERel env x t NONE) e])
160
161 | EUnop (s, e) => parenIf true (box [string s,
162 space,
163 p_exp' true env e])
164 | EBinop (s, e1, e2) => parenIf true (box [p_exp' true env e1,
165 space,
166 string s,
167 space,
168 p_exp' true env e2])
160 169
161 | ERecord xes => box [string "{", 170 | ERecord xes => box [string "{",
162 p_list (fn (x, e, _) => 171 p_list (fn (x, e, _) =>
163 box [string x, 172 box [string x,
164 space, 173 space,