comparison src/mono_print.sml @ 283:c0e4ac23522d

'error' function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:02:27 -0400
parents 09c66a30ef32
children 4260ad920c36
comparison
equal deleted inserted replaced
282:0236d9412ad2 283:c0e4ac23522d
171 space, 171 space,
172 string "=>", 172 string "=>",
173 space, 173 space,
174 p_exp (E.patBinds env p) e]) pes]) 174 p_exp (E.patBinds env p) e]) pes])
175 175
176 | EError (e, t) => box [string "(error",
177 space,
178 p_exp env e,
179 space,
180 string ":",
181 space,
182 p_typ env t,
183 string ")"]
184
176 | EStrcat (e1, e2) => box [p_exp' true env e1, 185 | EStrcat (e1, e2) => box [p_exp' true env e1,
177 space, 186 space,
178 string "^", 187 string "^",
179 space, 188 space,
180 p_exp' true env e2] 189 p_exp' true env e2]