comparison 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
comparison
equal deleted inserted replaced
353:9390c55b9f1f 354:527529a083d9
74 '((("UNION" "INTERSECT" "EXCEPT") . 0) 74 '((("UNION" "INTERSECT" "EXCEPT") . 0)
75 (("AND" "OR") . 1) 75 (("AND" "OR") . 1)
76 ((">" ">=" "<>" "<" "<=" "=") . 4) 76 ((">" ">=" "<>" "<" "<=" "=") . 4)
77 (("+" "-" "^") . 6) 77 (("+" "-" "^") . 6)
78 (("/" "*" "%") . 7) 78 (("/" "*" "%") . 7)
79 (("++" "--") 8) 79 (("NOT") 9)))
80 (("NOT") 9)
81 (("~") 10)))
82 "Alist of Ur/Web infix operators and their precedence.") 80 "Alist of Ur/Web infix operators and their precedence.")
83 81
84 (defconst urweb-syntax-prec 82 (defconst urweb-syntax-prec
85 (urweb-preproc-alist 83 (urweb-preproc-alist
86 `(((";" ",") . 20) 84 `(((";" ",") . 20)
89 (("case" "of" "fn") . 45) 87 (("case" "of" "fn") . 45)
90 (("if" "then" "else" ) . 50) 88 (("if" "then" "else" ) . 50)
91 (("<-") . 55) 89 (("<-") . 55)
92 ("||" . 70) 90 ("||" . 70)
93 ("&&" . 80) 91 ("&&" . 80)
94 ((":" "::" ":::" ":>") . 90) 92 ((":" ":>") . 90)
95 ("->" . 95) 93 ("->" . 95)
96 ("with" . 100) 94 ("with" . 100)
97 (,(cons "end" urweb-begin-syms) . 10000))) 95 (,(cons "end" urweb-begin-syms) . 10000)))
98 "Alist of pseudo-precedence of syntactic elements.") 96 "Alist of pseudo-precedence of syntactic elements.")
99 97