Mercurial > urweb

comparison src/mono_print.sml @ 183:c0ea24dcb86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents d11754ffe252
children 19ee24bffbc0
comparison
equal deleted inserted replaced
182:d11754ffe252 183:c0ea24dcb86f
141 space, 141 space,
142 p_typ env t, 142 p_typ env t,
143 space, 143 space,
144 string "=>", 144 string "=>",
145 space, 145 space,
146 p_exp (E.pushERel env x t) e]) 146 p_exp (E.pushERel env x t NONE) e])
147 147
148 | ERecord xes => box [string "{", 148 | ERecord xes => box [string "{",
149 p_list (fn (x, e, _) => 149 p_list (fn (x, e, _) =>
150 box [string x, 150 box [string x,
151 space, 151 space,