comparison src/cjr.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
64 | ESome of typ * exp 64 | ESome of typ * exp
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 list 67 | EApp of exp * exp list
68 68
69 | EUnop of string * exp
70 | EBinop of string * exp * exp
71
69 | ERecord of int * (string * exp) list 72 | ERecord of int * (string * exp) list
70 | EField of exp * string 73 | EField of exp * string
71 74
72 | ECase of exp * (pat * exp) list * { disc : typ, result : typ } 75 | ECase of exp * (pat * exp) list * { disc : typ, result : typ }
73 76