diff 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
line wrap: on
line diff
--- a/src/cjr.sml	Thu Nov 06 11:29:16 2008 -0500
+++ b/src/cjr.sml	Thu Nov 06 12:08:41 2008 -0500
@@ -92,6 +92,7 @@
                    prepared : int option }
        | ENextval of { seq : exp,
                        prepared : int option }
+       | EUnurlify of exp * typ
 
 withtype exp = exp' located