comparison src/cjr.sml @ 53:4f641f8fddaa

FFI through cjrize
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 10:21:38 -0400
parents 537db4ee89f4
children 717b6f8d8505
comparison
equal deleted inserted replaced
52:198172560b73 53:4f641f8fddaa
33 TTop 33 TTop
34 | TFun 34 | TFun
35 | TCode of typ * typ 35 | TCode of typ * typ
36 | TRecord of int 36 | TRecord of int
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 int * (string * exp) list 51 | ERecord of int * (string * exp) list
49 | EField of exp * string 52 | EField of exp * string