Mercurial > urweb

comparison src/mono.sml @ 736:796e42c93c48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookie signatures for RPCs
author Adam Chlipala <adamc@hcoop.net>
date Thu, 23 Apr 2009 16:13:02 -0400
parents e0dd85ea58e1
children f7e2026dd5ae
comparison
equal deleted inserted replaced
735:5ccb67665d05 736:796e42c93c48
60 datatype javascript_mode = 60 datatype javascript_mode =
61 Attribute 61 Attribute
62 | Script 62 | Script
63 | Source of typ 63 | Source of typ
64 64
65 datatype effect = datatype Export.effect
66 datatype export_kind = datatype Export.export_kind
67
65 datatype exp' = 68 datatype exp' =
66 EPrim of Prim.t 69 EPrim of Prim.t
67 | ERel of int 70 | ERel of int
68 | ENamed of int 71 | ENamed of int
69 | ECon of datatype_kind * patCon * exp option 72 | ECon of datatype_kind * patCon * exp option
107 110
108 | ESignalReturn of exp 111 | ESignalReturn of exp
109 | ESignalBind of exp * exp 112 | ESignalBind of exp * exp
110 | ESignalSource of exp 113 | ESignalSource of exp
111 114
112 | EServerCall of exp * exp * typ 115 | EServerCall of exp * exp * typ * effect
113 | ERecv of exp * exp * typ 116 | ERecv of exp * exp * typ
114 | ESleep of exp * exp 117 | ESleep of exp * exp
115 118
116 withtype exp = exp' located 119 withtype exp = exp' located
117
118 datatype effect = datatype Export.effect
119 datatype export_kind = datatype Export.export_kind
120 120
121 datatype decl' = 121 datatype decl' =
122 DDatatype of string * int * (string * int * typ option) list 122 DDatatype of string * int * (string * int * typ option) list
123 | DVal of string * int * typ * exp * string 123 | DVal of string * int * typ * exp * string
124 | DValRec of (string * int * typ * exp * string) list 124 | DValRec of (string * int * typ * exp * string) list