Mercurial > urweb

comparison src/flat.sml @ 52:198172560b73

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