diff src/elisp/urweb-defs.el @ 459:f542bc3133dc

Cookies through elaborate
author Adam Chlipala <adamc@hcoop.net>
date Thu, 06 Nov 2008 10:29:55 -0500
parents 86c063fedc4d
children 8998114760c1
line wrap: on
line diff
--- a/src/elisp/urweb-defs.el	Thu Nov 06 10:04:03 2008 -0500
+++ b/src/elisp/urweb-defs.el	Thu Nov 06 10:29:55 2008 -0500
@@ -108,7 +108,7 @@
                  "datatype" "type" "open" "include"
                  urweb-module-head-syms
                  "con" "fold" "where" "extern" "constraint" "constraints"
-                 "table" "sequence" "class")
+                 "table" "sequence" "class" "cookie")
   "Symbols starting an sexp.")
 
 ;; (defconst urweb-not-arg-start-re
@@ -134,7 +134,7 @@
      (,urweb-=-starter-syms nil)
      (("case" "datatype" "if" "then" "else"
        "let" "open" "sig" "struct" "type" "val"
-       "con" "constraint" "table" "sequence" "class")))))
+       "con" "constraint" "table" "sequence" "class" "cookie")))))
 
 (defconst urweb-starters-indent-after
   (urweb-syms-re "let" "in" "struct" "sig")
@@ -188,7 +188,7 @@
   (append urweb-module-head-syms
 	  '("datatype" "fun"
 	    "open" "type" "val" "and"
-	    "con" "constraint" "table" "sequence" "class"))
+	    "con" "constraint" "table" "sequence" "class" "cookie"))
   "The starters of new expressions.")
 
 (defconst urweb-exptrail-syms