diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-12 11:44:43 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-12 11:44:43 -0400 |
| commit | db7a947275c7bcb44a095b25ccf95526af68d737 (patch) | |
| tree | d2c3e249ae3f66b0dc3092b7dc465c606e4dae16 /src/elisp/urweb-move.el | |
| parent | 036679102be68e0f1bb12c3e9a354bb743fde219 (diff) | |
Basis indents and type-checks with new twiddle syntax
Diffstat (limited to 'src/elisp/urweb-move.el')
| -rw-r--r-- | src/elisp/urweb-move.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/elisp/urweb-move.el b/src/elisp/urweb-move.el index 3c7d5b21..41fc4cc5 100644 --- a/src/elisp/urweb-move.el +++ b/src/elisp/urweb-move.el @@ -76,9 +76,7 @@ ((">" ">=" "<>" "<" "<=" "=") . 4) (("+" "-" "^") . 6) (("/" "*" "%") . 7) - (("++" "--") 8) - (("NOT") 9) - (("~") 10))) + (("NOT") 9))) "Alist of Ur/Web infix operators and their precedence.") (defconst urweb-syntax-prec @@ -91,7 +89,7 @@ (("<-") . 55) ("||" . 70) ("&&" . 80) - ((":" "::" ":::" ":>") . 90) + ((":" ":>") . 90) ("->" . 95) ("with" . 100) (,(cons "end" urweb-begin-syms) . 10000))) |