comparison src/cjr.sml @ 463:bb27c7efcd90

Reading cookies works
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 12:08:41 -0500
parents 7abb28e9d51f
children 162d5308e34f
comparison
equal deleted inserted replaced
462:21bb5bbba2e9 463:bb27c7efcd90
90 prepared : int option } 90 prepared : int option }
91 | EDml of { dml : exp, 91 | EDml of { dml : exp,
92 prepared : int option } 92 prepared : int option }
93 | ENextval of { seq : exp, 93 | ENextval of { seq : exp,
94 prepared : int option } 94 prepared : int option }
95 | EUnurlify of exp * typ
95 96
96 withtype exp = exp' located 97 withtype exp = exp' located
97 98
98 datatype decl' = 99 datatype decl' =
99 DStruct of int * (string * typ) list 100 DStruct of int * (string * typ) list