Mercurial > urweb
comparison src/prepare.sml @ 283:c0e4ac23522d
'error' function
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 07 Sep 2008 10:02:27 -0400 |
parents | 0236d9412ad2 |
children | 550100a44cca |
comparison
equal
deleted
inserted
replaced
282:0236d9412ad2 | 283:c0e4ac23522d |
---|---|
104 end) sns pes | 104 end) sns pes |
105 in | 105 in |
106 ((ECase (e, pes, ts), loc), sns) | 106 ((ECase (e, pes, ts), loc), sns) |
107 end | 107 end |
108 | 108 |
109 | EError (e, t) => | |
110 let | |
111 val (e, sns) = prepExp (e, sns) | |
112 in | |
113 ((EError (e, t), loc), sns) | |
114 end | |
115 | |
109 | EWrite e => | 116 | EWrite e => |
110 let | 117 let |
111 val (e, sns) = prepExp (e, sns) | 118 val (e, sns) = prepExp (e, sns) |
112 in | 119 in |
113 ((EWrite e, loc), sns) | 120 ((EWrite e, loc), sns) |