Mercurial > urweb

comparison src/mono.sml @ 568:55fc747a67dc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Initial <dyn> support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 15:46:48 -0500
parents a152905c3c3b
children 162d5308e34f
comparison
equal deleted inserted replaced
567:1901db85acb4 568:55fc747a67dc
35 TFun of typ * typ 35 TFun of typ * typ
36 | TRecord of (string * typ) list 36 | TRecord of (string * typ) list
37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref 37 | TDatatype of int * (datatype_kind * (string * int * typ option) list) ref
38 | TFfi of string * string 38 | TFfi of string * string
39 | TOption of typ 39 | TOption of typ
40 | TSignal of typ
40 41
41 withtype typ = typ' located 42 withtype typ = typ' located
42 43
43 datatype patCon = 44 datatype patCon =
44 PConVar of int 45 PConVar of int
52 | PRecord of (string * pat * typ) list 53 | PRecord of (string * pat * typ) list
53 | PNone of typ 54 | PNone of typ
54 | PSome of typ * pat 55 | PSome of typ * pat
55 56
56 withtype pat = pat' located 57 withtype pat = pat' located
58
59 datatype javascript_mode =
60 Attribute
61 | Script
62 | File
57 63
58 datatype exp' = 64 datatype exp' =
59 EPrim of Prim.t 65 EPrim of Prim.t
60 | ERel of int 66 | ERel of int
61 | ENamed of int 67 | ENamed of int
94 | EDml of exp 100 | EDml of exp
95 | ENextval of exp 101 | ENextval of exp
96 102
97 | EUnurlify of exp * typ 103 | EUnurlify of exp * typ
98 104
99 | EJavaScript of exp 105 | EJavaScript of javascript_mode * exp
100 106
107 | ESignalReturn of exp
101 108
102 withtype exp = exp' located 109 withtype exp = exp' located
103 110
104 datatype decl' = 111 datatype decl' =
105 DDatatype of string * int * (string * int * typ option) list 112 DDatatype of string * int * (string * int * typ option) list