Mercurial > urweb

comparison src/cjr.sml @ 181:31dfab1d4050

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cjrize ECon
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 11:17:33 -0400
parents 25b169416ea8
children d11754ffe252
comparison
equal deleted inserted replaced
180:c7a5c8e0a0e0 181:31dfab1d4050
36 | TDatatype of int * (string * int * typ option) list 36 | TDatatype of int * (string * int * typ option) list
37 | TFfi of string * string 37 | TFfi of string * string
38 38
39 withtype typ = typ' located 39 withtype typ = typ' located
40 40
41 datatype patCon =
42 PConVar of int
43 | PConFfi of string * string
44
45 datatype pat' =
46 PWild
47 | PVar of string
48 | PPrim of Prim.t
49 | PCon of patCon * pat option
50 | PRecord of (string * pat) list
51
52 withtype pat = pat' located
53
41 datatype exp' = 54 datatype exp' =
42 EPrim of Prim.t 55 EPrim of Prim.t
43 | ERel of int 56 | ERel of int
44 | ENamed of int 57 | ENamed of int
58 | ECon of int * exp option
45 | EFfi of string * string 59 | EFfi of string * string
46 | EFfiApp of string * string * exp list 60 | EFfiApp of string * string * exp list
47 | EApp of exp * exp 61 | EApp of exp * exp
48 62
49 | ERecord of int * (string * exp) list 63 | ERecord of int * (string * exp) list
50 | EField of exp * string 64 | EField of exp * string
65
66 | ECase of exp * (pat * exp) list * typ
51 67
52 | EWrite of exp 68 | EWrite of exp
53 | ESeq of exp * exp 69 | ESeq of exp * exp
54 70
55 withtype exp = exp' located 71 withtype exp = exp' located