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)