diff options
| author | Matthew Sotoudeh <matthew@masot.net> | 2023-01-04 23:00:27 -0800 |
|---|---|---|
| committer | Matthew Sotoudeh <matthew@masot.net> | 2023-01-04 23:00:27 -0800 |
| commit | 8a4d48b1b832d8a00dea739dcc41fb1ca5d21cbc (patch) | |
| tree | c9d8d455961fc49565935c7be83840cbe0e4ad7d | |
| parent | a44921528f872dd47f819c28cb6fb818e36dff7d (diff) | |
tips for lexing
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -180,8 +180,8 @@ above. - There is no guaranteed parsing precedence. You should use parentheses for anything that could possibly be ambiguous. Otherwise you will get weird errors. -- The lexing is \"uber-simple; no symbols other than alphanumerics longer than - 1 character are allowed. +- The lexing is pretty rudimentary; basically, when in doubt, space-separate + tokens. - The `{SMTReal}` pseudo-claim is an extremely rough POC that basically only works for the example in the README. - I'm pretty sure the core logic is inconsistent, but haven't yet found a |