Mercurial > urweb
comparison src/mono.sml @ 387:7abb28e9d51f
Binops; equality tested on int; lame 404 substitute
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 09:50:19 -0400 |
parents | e976b187d73a |
children | bb27c7efcd90 |
comparison
equal
deleted
inserted
replaced
386:ef43ed6cd1de | 387:7abb28e9d51f |
---|---|
65 | EFfi of string * string | 65 | EFfi of string * string |
66 | EFfiApp of string * string * exp list | 66 | EFfiApp of string * string * exp list |
67 | EApp of exp * exp | 67 | EApp of exp * exp |
68 | EAbs of string * typ * typ * exp | 68 | EAbs of string * typ * typ * exp |
69 | 69 |
70 | EUnop of string * exp | |
71 | EBinop of string * exp * exp | |
72 | |
70 | ERecord of (string * exp * typ) list | 73 | ERecord of (string * exp * typ) list |
71 | EField of exp * string | 74 | EField of exp * string |
72 | 75 |
73 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } | 76 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } |
74 | 77 |