comparison src/mono.sml @ 463:bb27c7efcd90

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