Mercurial > urweb

comparison src/cjr.sml @ 185:19ee24bffbc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FFI datatypes
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 17:57:47 -0400
parents d11754ffe252
children 88d46972de53
comparison
equal deleted inserted replaced
184:98c29e3986d3 185:19ee24bffbc0
38 38
39 withtype typ = typ' located 39 withtype typ = typ' located
40 40
41 datatype patCon = 41 datatype patCon =
42 PConVar of int 42 PConVar of int
43 | PConFfi of string * string 43 | PConFfi of {mod : string, datatyp : string, con : string}
44 44
45 datatype pat' = 45 datatype pat' =
46 PWild 46 PWild
47 | PVar of string * typ 47 | PVar of string * typ
48 | PPrim of Prim.t 48 | PPrim of Prim.t
53 53
54 datatype exp' = 54 datatype exp' =
55 EPrim of Prim.t 55 EPrim of Prim.t
56 | ERel of int 56 | ERel of int
57 | ENamed of int 57 | ENamed of int
58 | ECon of int * exp option 58 | ECon of patCon * exp option
59 | EFfi of string * string 59 | EFfi of string * string
60 | EFfiApp of string * string * exp list 60 | EFfiApp of string * string * exp list
61 | EApp of exp * exp 61 | EApp of exp * exp
62 62
63 | ERecord of int * (string * exp) list 63 | ERecord of int * (string * exp) list