comparison src/core.sml @ 1294:b4480a56cab7

Server-side 'onError'
author Adam Chlipala <adam@chlipala.net>
date Tue, 07 Sep 2010 08:28:07 -0400
parents c316ca3c9ec6
children 0577be31a435
comparison
equal deleted inserted replaced
1293:acabf3935060 1294:b4480a56cab7
134 | DDatabase of string 134 | DDatabase of string
135 | DCookie of string * int * con * string 135 | DCookie of string * int * con * string
136 | DStyle of string * int * string 136 | DStyle of string * int * string
137 | DTask of exp * exp 137 | DTask of exp * exp
138 | DPolicy of exp 138 | DPolicy of exp
139 | DOnError of int
139 140
140 withtype decl = decl' located 141 withtype decl = decl' located
141 142
142 type file = decl list 143 type file = decl list
143 144