Mercurial > urweb
comparison src/cjr.sml @ 283:c0e4ac23522d
'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 |
---|---|
64 | ERecord of int * (string * exp) list | 64 | ERecord of int * (string * exp) list |
65 | EField of exp * string | 65 | EField of exp * string |
66 | 66 |
67 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } | 67 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } |
68 | 68 |
69 | EError of exp * typ | |
70 | |
69 | EWrite of exp | 71 | EWrite of exp |
70 | ESeq of exp * exp | 72 | ESeq of exp * exp |
71 | ELet of string * typ * exp * exp | 73 | ELet of string * typ * exp * exp |
72 | 74 |
73 | EQuery of { exps : (string * typ) list, | 75 | EQuery of { exps : (string * typ) list, |