Difference between revisions of "Talk:Parsing expressions and statements"
Jump to navigation
Jump to search
(References to more powerful parser options) |
m |
||
| Line 1: | Line 1: | ||
| − | It would be good to have a reference to a parsing tool that had better support for prefix operators. For example how do you parse an expression like this: ∃x. ∃y. x=y |
+ | It would be good to have a reference to a parsing tool that had better support for prefix operators. For example, how do you parse an expression like this: ∃x. ∃y. x=y |
| + | |||
| + | *** Exception: (line 1, column 5): |
||
| + | unexpected "∃" |
||
| + | expecting "(", expression, identifier, "nil", integer, "<", "|--", "true" or "false" |
||
Latest revision as of 16:10, 5 November 2015
It would be good to have a reference to a parsing tool that had better support for prefix operators. For example, how do you parse an expression like this: ∃x. ∃y. x=y
*** Exception: (line 1, column 5):
unexpected "∃"
expecting "(", expression, identifier, "nil", integer, "<", "|--", "true" or "false"