Mercurial > urweb
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] |