Mercurial > urweb

comparison src/source.sml @ 2010:403f0cc65b9c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New lessSafeFfi
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 May 2014 19:19:09 -0400
parents 799be3911ce3
children
comparison
equal deleted inserted replaced
2009:799be3911ce3 2010:403f0cc65b9c
145 and sgn = sgn' located 145 and sgn = sgn' located
146 and pat = pat' located 146 and pat = pat' located
147 and exp = exp' located 147 and exp = exp' located
148 and edecl = edecl' located 148 and edecl = edecl' located
149 149
150 datatype ffi_mode =
151 Effectful
152 | BenignEffectful
153 | ClientOnly
154 | ServerOnly
155 | JsFunc of string
156
150 datatype decl' = 157 datatype decl' =
151 DCon of string * kind option * con 158 DCon of string * kind option * con
152 | DDatatype of (string * string list * (string * con option) list) list 159 | DDatatype of (string * string list * (string * con option) list) list
153 | DDatatypeImp of string * string list * string 160 | DDatatypeImp of string * string list * string
154 | DVal of string * con option * exp 161 | DVal of string * con option * exp
167 | DCookie of string * con 174 | DCookie of string * con
168 | DStyle of string 175 | DStyle of string
169 | DTask of exp * exp 176 | DTask of exp * exp
170 | DPolicy of exp 177 | DPolicy of exp
171 | DOnError of string * string list * string 178 | DOnError of string * string list * string
179 | DFfi of string * ffi_mode list * con
172 180
173 and str' = 181 and str' =
174 StrConst of decl list 182 StrConst of decl list
175 | StrVar of string 183 | StrVar of string
176 | StrProj of str * string 184 | StrProj of str * string