comparison src/elab.sml @ 1294:b4480a56cab7

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