Mercurial > urweb

diff src/elisp/urweb-defs.el @ 1199:c316ca3c9ec6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pushing policies through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 04 Apr 2010 12:29:34 -0400
parents 0657e5adc938
children 53f91b67006c
line wrap: on
line diff
--- a/src/elisp/urweb-defs.el	Thu Apr 01 17:23:17 2010 -0400
+++ b/src/elisp/urweb-defs.el	Sun Apr 04 12:29:34 2010 -0400
@@ -108,7 +108,7 @@
                  "datatype" "type" "open" "include"
                  urweb-module-head-syms
                  "con" "map" "where" "extern" "constraint" "constraints"
-                 "table" "sequence" "class" "cookie" "task")
+                 "table" "sequence" "class" "cookie" "task" "policy")
   "Symbols starting an sexp.")
 
 ;; (defconst urweb-not-arg-start-re
@@ -135,7 +135,7 @@
      (("case" "datatype" "if" "then" "else"
        "let" "open" "sig" "struct" "type" "val"
        "con" "constraint" "table" "sequence" "class" "cookie"
-       "task")))))
+       "task" "policy")))))
 
 (defconst urweb-starters-indent-after
   (urweb-syms-re "let" "in" "struct" "sig")
@@ -190,7 +190,7 @@
 	  '("datatype" "fun"
 	    "open" "type" "val" "and"
 	    "con" "constraint" "table" "sequence" "class" "cookie"
-            "task"))
+            "task" "policy"))
   "The starters of new expressions.")
 
 (defconst urweb-exptrail-syms