Mercurial > urweb
comparison src/mono.sml @ 29:537db4ee89f4
Translation to Cjr
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 18:28:43 -0400 |
parents | 4ab19c19665f |
children | 92361a008a10 |
comparison
equal
deleted
inserted
replaced
28:104d43266b33 | 29:537db4ee89f4 |
---|---|
41 | ERel of int | 41 | ERel of int |
42 | ENamed of int | 42 | ENamed of int |
43 | EApp of exp * exp | 43 | EApp of exp * exp |
44 | EAbs of string * typ * typ * exp | 44 | EAbs of string * typ * typ * exp |
45 | 45 |
46 | ERecord of (string * exp) list | 46 | ERecord of (string * exp * typ) list |
47 | EField of exp * string | 47 | EField of exp * string |
48 | 48 |
49 withtype exp = exp' located | 49 withtype exp = exp' located |
50 | 50 |
51 datatype decl' = | 51 datatype decl' = |