Leonardo de Moura
|
e48908aea1
|
refactor: uniform precedence representation
|
2020-01-15 20:53:23 -08:00 |
|
Leonardo de Moura
|
b14c7cb69b
|
feat: allow user to set nodeKind at syntax command
|
2020-01-14 18:51:31 -08:00 |
|
Leonardo de Moura
|
c889d0ce48
|
fix: infixR helper only works for termParsers
|
2020-01-14 18:06:57 -08:00 |
|
Leonardo de Moura
|
5eebbc7bda
|
chore: remove unnecessary attributes
If one day we add elaboration functions for level and syntax, then we
can add them back.
|
2020-01-14 14:34:30 -08:00 |
|
Leonardo de Moura
|
abc6bc1447
|
chore: use try to fix : overload
|
2020-01-14 14:19:44 -08:00 |
|
Leonardo de Moura
|
ab8cbdc7e0
|
feat: improve syntax rules
|
2020-01-14 14:15:48 -08:00 |
|
Leonardo de Moura
|
b057f55e52
|
chore: add missing rules
|
2020-01-14 14:01:40 -08:00 |
|
Leonardo de Moura
|
17811a9286
|
feat: add syntax parsers
|
2020-01-14 13:50:06 -08:00 |
|
Leonardo de Moura
|
ad0792f6c9
|
feat: add syntax category
|
2020-01-14 12:34:45 -08:00 |
|