Mercurial > urweb

diff src/core_print.sml @ 461:5c9606deacb6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Cookies through shake2
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:48:02 -0500
parents 07f6576aeb0a
children 40c737913075
line wrap: on
line diff
--- a/src/core_print.sml	Thu Nov 06 10:43:48 2008 -0500
+++ b/src/core_print.sml	Thu Nov 06 10:48:02 2008 -0500
@@ -504,6 +504,17 @@
       | DDatabase s => box [string "database",
                             space,
                             string s]
+      | DCookie (x, n, c, s) => box [string "cookie",
+                                     space,
+                                     p_named x n,
+                                     space,
+                                     string "as",
+                                     space,
+                                     string s,
+                                     space,
+                                     string ":",
+                                     space,
+                                     p_con env c]
 
 fun p_file env file =
     let