Mercurial > urweb
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 |