diff src/elisp/urweb-move.el @ 354:527529a083d9

Basis indents and type-checks with new twiddle syntax
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Oct 2008 11:44:43 -0400
parents 9390c55b9f1f
children b6be16792584
line wrap: on
line diff
--- a/src/elisp/urweb-move.el	Sun Oct 12 10:48:01 2008 -0400
+++ b/src/elisp/urweb-move.el	Sun Oct 12 11:44:43 2008 -0400
@@ -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)))