Mercurial > urweb
comparison src/mono.sml @ 26:4ab19c19665f
Closure conversion
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 15:56:33 -0400 |
parents | 0a762c73824d |
children | 537db4ee89f4 |
comparison
equal
deleted
inserted
replaced
25:0a762c73824d | 26:4ab19c19665f |
---|---|
39 datatype exp' = | 39 datatype exp' = |
40 EPrim of Prim.t | 40 EPrim of Prim.t |
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 * exp | 44 | EAbs of string * typ * typ * exp |
45 | 45 |
46 | ERecord of (string * exp) list | 46 | ERecord of (string * exp) list |
47 | EField of exp * string | 47 | EField of exp * string |
48 | 48 |
49 withtype exp = exp' located | 49 withtype exp = exp' located |