summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 10:48:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-12 10:48:01 -0400
commit036679102be68e0f1bb12c3e9a354bb743fde219 (patch)
tree8bf8f954b0b47affb35fe84621933a55dbd3d159 /src
parent418f655bfaee62e8a371437c7a442a1d08c4c34f (diff)
More indenting
Diffstat (limited to 'src')
-rw-r--r--src/elisp/urweb-mode.el6
-rw-r--r--src/elisp/urweb-move.el2
2 files changed, 4 insertions, 4 deletions
diff --git a/src/elisp/urweb-mode.el b/src/elisp/urweb-mode.el
index 626fdc63..d32b2a55 100644
--- a/src/elisp/urweb-mode.el
+++ b/src/elisp/urweb-mode.el
@@ -164,11 +164,11 @@ See doc for the variable `urweb-mode-info'."
`(;;(urweb-font-comments-and-strings)
(,(concat "\\<\\(fun\\|and\\)\\s-+\\(\\sw+\\)\\s-+[^ \t\n=]")
(1 font-lock-keyword-face)
- (5 font-lock-function-name-face))
- (,(concat "\\<\\(\\(data\\)?type\\|con\\)\\s-+\\(\\sw+\\)")
+ (2 font-lock-function-name-face))
+ (,(concat "\\<\\(\\(data\\)?type\\|con\\|class\\)\\s-+\\(\\sw+\\)")
(1 font-lock-keyword-face)
(3 font-lock-type-def-face))
- ("\\<\\(val\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
+ ("\\<\\(val\\|table\\|sequence\\)\\s-+\\(\\sw+\\>\\s-*\\)?\\(\\sw+\\)\\s-*[=:]"
(1 font-lock-keyword-face)
(3 font-lock-variable-name-face))
("\\<\\(structure\\|functor\\)\\s-+\\(\\sw+\\)"
diff --git a/src/elisp/urweb-move.el b/src/elisp/urweb-move.el
index 428a6803..3c7d5b21 100644
--- a/src/elisp/urweb-move.el
+++ b/src/elisp/urweb-move.el
@@ -78,7 +78,7 @@
(("/" "*" "%") . 7)
(("++" "--") 8)
(("NOT") 9)
- (("~" "$") 10)))
+ (("~") 10)))
"Alist of Ur/Web infix operators and their precedence.")
(defconst urweb-syntax-prec