Mercurial > urweb

comparison src/mono.sml @ 51:92361a008a10

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI through monoize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 10:12:23 -0400
parents 537db4ee89f4
children 40d146f467c5
comparison
equal deleted inserted replaced
50:d37518b67bd2 51:92361a008a10
31 31
32 datatype typ' = 32 datatype typ' =
33 TFun of typ * typ 33 TFun of typ * typ
34 | TRecord of (string * typ) list 34 | TRecord of (string * typ) list
35 | TNamed of int 35 | TNamed of int
36 | TFfi of string * string
36 37
37 withtype typ = typ' located 38 withtype typ = typ' located
38 39
39 datatype exp' = 40 datatype exp' =
40 EPrim of Prim.t 41 EPrim of Prim.t
41 | ERel of int 42 | ERel of int
42 | ENamed of int 43 | ENamed of int
44 | EFfi of string * string
45 | EFfiApp of string * string * exp list
43 | EApp of exp * exp 46 | EApp of exp * exp
44 | EAbs of string * typ * typ * exp 47 | EAbs of string * typ * typ * exp
45 48
46 | ERecord of (string * exp * typ) list 49 | ERecord of (string * exp * typ) list
47 | EField of exp * string 50 | EField of exp * string