Mercurial > urweb

comparison src/cjrize.sml @ 283:c0e4ac23522d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'error' function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Sep 2008 10:02:27 -0400
parents 0236d9412ad2
children 4260ad920c36
comparison
equal deleted inserted replaced
282:0236d9412ad2 283:c0e4ac23522d
251 val (result, sm) = cifyTyp (result, sm) 251 val (result, sm) = cifyTyp (result, sm)
252 in 252 in
253 ((L'.ECase (e, pes, {disc = disc, result = result}), loc), sm) 253 ((L'.ECase (e, pes, {disc = disc, result = result}), loc), sm)
254 end 254 end
255 255
256 | L.EError (e, t) =>
257 let
258 val (e, sm) = cifyExp (e, sm)
259 val (t, sm) = cifyTyp (t, sm)
260 in
261 ((L'.EError (e, t), loc), sm)
262 end
263
256 | L.EStrcat (e1, e2) => 264 | L.EStrcat (e1, e2) =>
257 let 265 let
258 val (e1, sm) = cifyExp (e1, sm) 266 val (e1, sm) = cifyExp (e1, sm)
259 val (e2, sm) = cifyExp (e2, sm) 267 val (e2, sm) = cifyExp (e2, sm)
260 in 268 in