comparison src/mono.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
67 67
68 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 68 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
69 69
70 | EStrcat of exp * exp 70 | EStrcat of exp * exp
71 71
72 | EError of exp * typ
73
72 | EWrite of exp 74 | EWrite of exp
73 | ESeq of exp * exp 75 | ESeq of exp * exp
74 | ELet of string * typ * exp * exp 76 | ELet of string * typ * exp * exp
75 77
76 | EClosure of int * exp list 78 | EClosure of int * exp list