diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-04 12:29:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-04 12:29:34 -0400 |
| commit | 6a326e3bb3eb16e04f3cca082f0dd67278e85785 (patch) | |
| tree | 37d9f6d28314bc020e87c05ec9e7826b5e647d44 /src/elisp/urweb-defs.el | |
| parent | 9615454c1218330fc2cdfa6b72af53400fa2b2c4 (diff) | |
Pushing policies through
Diffstat (limited to 'src/elisp/urweb-defs.el')
| -rw-r--r-- | src/elisp/urweb-defs.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/elisp/urweb-defs.el b/src/elisp/urweb-defs.el index c697a274..8054d829 100644 --- a/src/elisp/urweb-defs.el +++ b/src/elisp/urweb-defs.el @@ -108,7 +108,7 @@ notion of \"the end of an outline\".") "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 @@ notion of \"the end of an outline\".") (("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 @@ for all symbols and in all lines starting with the given symbol." '("datatype" "fun" "open" "type" "val" "and" "con" "constraint" "table" "sequence" "class" "cookie" - "task")) + "task" "policy")) "The starters of new expressions.") (defconst urweb-exptrail-syms |