Mercurial > urweb

comparison src/urweb.grm @ 1116:ce56795b2e5f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Loosen parsing of multiplication
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 Jan 2010 10:22:55 -0500
parents 8d3aa6c7cee0
children ad9829c3c12c
comparison
equal deleted inserted replaced
1115:150465f2895c 1116:ce56795b2e5f
957 | eexp EQ eexp (native_op ("eq", eexp1, eexp2, s (eexp1left, eexp2right))) 957 | eexp EQ eexp (native_op ("eq", eexp1, eexp2, s (eexp1left, eexp2right)))
958 | eexp NE eexp (native_op ("ne", eexp1, eexp2, s (eexp1left, eexp2right))) 958 | eexp NE eexp (native_op ("ne", eexp1, eexp2, s (eexp1left, eexp2right)))
959 | MINUS eterm (native_unop ("neg", eterm, s (MINUSleft, etermright))) 959 | MINUS eterm (native_unop ("neg", eterm, s (MINUSleft, etermright)))
960 | eexp PLUS eexp (native_op ("plus", eexp1, eexp2, s (eexp1left, eexp2right))) 960 | eexp PLUS eexp (native_op ("plus", eexp1, eexp2, s (eexp1left, eexp2right)))
961 | eexp MINUS eexp (native_op ("minus", eexp1, eexp2, s (eexp1left, eexp2right))) 961 | eexp MINUS eexp (native_op ("minus", eexp1, eexp2, s (eexp1left, eexp2right)))
962 | eterm STAR eexp (native_op ("times", eterm, eexp, s (etermleft, eexpright))) 962 | eapps STAR eexp (native_op ("times", eapps, eexp, s (eappsleft, eexpright)))
963 | eexp DIVIDE eexp (native_op ("divide", eexp1, eexp2, s (eexp1left, eexp2right))) 963 | eexp DIVIDE eexp (native_op ("divide", eexp1, eexp2, s (eexp1left, eexp2right)))
964 | eexp MOD eexp (native_op ("mod", eexp1, eexp2, s (eexp1left, eexp2right))) 964 | eexp MOD eexp (native_op ("mod", eexp1, eexp2, s (eexp1left, eexp2right)))
965 965
966 | eexp LT eexp (native_op ("lt", eexp1, eexp2, s (eexp1left, eexp2right))) 966 | eexp LT eexp (native_op ("lt", eexp1, eexp2, s (eexp1left, eexp2right)))
967 | eexp LE eexp (native_op ("le", eexp1, eexp2, s (eexp1left, eexp2right))) 967 | eexp LE eexp (native_op ("le", eexp1, eexp2, s (eexp1left, eexp2right)))