Mercurial > urweb
comparison src/source.sml @ 2010:403f0cc65b9c
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 |