Mercurial > urweb
comparison src/mono.sml @ 568:55fc747a67dc
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 |