comparison src/source.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents c316ca3c9ec6
children 4a03aa3251cb
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
167 | DDatabase of string 167 | DDatabase of string
168 | DCookie of string * con 168 | DCookie of string * con
169 | DStyle of string 169 | DStyle of string
170 | DTask of exp * exp 170 | DTask of exp * exp
171 | DPolicy of exp 171 | DPolicy of exp
172 | DOnError of string * string list * string
172 173
173 and str' = 174 and str' =
174 StrConst of decl list 175 StrConst of decl list
175 | StrVar of string 176 | StrVar of string
176 | StrProj of str * string 177 | StrProj of str * string