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