Mercurial > urweb

comparison src/core.sml @ 48:0a5c312de09a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of FFI
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 09:27:29 -0400
parents 537db4ee89f4
children 8e9920db39f2
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
42 | TCFun of string * kind * con 42 | TCFun of string * kind * con
43 | TRecord of con 43 | TRecord of con
44 44
45 | CRel of int 45 | CRel of int
46 | CNamed of int 46 | CNamed of int
47 | CFfi of string * string
47 | CApp of con * con 48 | CApp of con * con
48 | CAbs of string * kind * con 49 | CAbs of string * kind * con
49 50
50 | CName of string 51 | CName of string
51 52
56 57
57 datatype exp' = 58 datatype exp' =
58 EPrim of Prim.t 59 EPrim of Prim.t
59 | ERel of int 60 | ERel of int
60 | ENamed of int 61 | ENamed of int
62 | EFfi of string * string
63 | EFfiApp of string * string * exp list
61 | EApp of exp * exp 64 | EApp of exp * exp
62 | EAbs of string * con * con * exp 65 | EAbs of string * con * con * exp
63 | ECApp of exp * con 66 | ECApp of exp * con
64 | ECAbs of string * kind * exp 67 | ECAbs of string * kind * exp
65 68