summaryrefslogtreecommitdiff
path: root/dhall_syntax/src/parser.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Implement rule shortcutting, and cleanup make_parser codeNadrieril2019-09-051-6/+17
|
* Implement rule aliasing and simplify parser codeNadrieril2019-09-051-246/+177
|
* Parse polymorphically in the Embed parameterNadrieril2019-09-021-64/+76
|
* Use proper hygiene for `Parsers` and `Rule`Nadrieril2019-09-021-2/+7
|
* Properly parse the argument of make_parser as an implNadrieril2019-09-021-1/+3
|
* Get rid of EntryPoint magicNadrieril2019-09-021-43/+48
|
* Make make_parser into a proc_macro_attributeNadrieril2019-09-011-1/+2
| | | | That way rustfmt will format the contents of the parser.
* Change parser macros to use a function-like syntaxNadrieril2019-09-011-748/+927
| | | | This makes the parser code look much less magical.
* Rewrite the make_parser macro as a proc_macroNadrieril2019-09-011-203/+6
|
* Don't URL-decode path segmentsNadrieril2019-08-311-5/+22
|
* Implement parsing of `toMap` keywordNadrieril2019-08-311-1/+7
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-281-32/+32
| | | | For clarity, and consistency with Value
* clippyNadrieril2019-08-271-3/+3
|
* s/token_rule/rule/Nadrieril2019-08-271-20/+20
|
* Rework parse macros to avoid the large ParsedValue enumNadrieril2019-08-271-146/+139
|
* Remove rule aliasingNadrieril2019-08-271-107/+93
|
* WordingNadrieril2019-08-261-13/+13
|
* Remove rule_group macroNadrieril2019-08-261-22/+4
|
* Match on rules in parser instead of on ParsedValuesNadrieril2019-08-261-25/+128
|
* Use `!` type instead of custom empty typeNadrieril2019-08-161-2/+2
|
* Include precedence parsing in parser macrosNadrieril2019-08-151-133/+187
|
* No need for manual stack handling in parser anymoreNadrieril2019-08-151-142/+96
|
* Use precedence climbing to parse expressions with operatorsNadrieril2019-08-151-119/+108
| | | | This speeds up parsing around 30%
* Implement inline headers parsingNadrieril2019-08-131-14/+14
|
* Store Imports in their own node instead of in EmbedNadrieril2019-08-131-7/+7
|
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-131-35/+4
|
* Add support for dependent typesNadrieril2019-08-081-0/+12
|
* Add truncated Natural subtractionNadrieril2019-08-071-0/+1
|
* Remove union literals from the languageNadrieril2019-08-071-48/+3
|
* Forbid surrogate pairs and non-charactersNadrieril2019-08-071-2/+21
|
* Sort labels in projection expressionsNadrieril2019-08-071-3/+3
|
* Generalize empty list annotationsNadrieril2019-08-061-4/+6
|
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-061-1/+2
|
* Add toMap keywordNadrieril2019-08-061-0/+1
|
* RFC3986 URLsNadrieril2019-08-061-0/+7
|
* Braced escape sequencesNadrieril2019-08-061-4/+24
|
* Remove old-style optional literalsNadrieril2019-08-061-15/+3
|
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
|
* Update dhall-lang submoduleNadrieril2019-08-031-5/+13
|
* clippyNadrieril2019-05-121-2/+2
|
* Implement binary encodingNadrieril2019-05-121-7/+6
| | | | Closes #39
* Write a custom map type that allows duplicatesNadrieril2019-05-101-23/+14
|
* Detect duplicate record fields in typecheckNadrieril2019-05-091-14/+23
|
* Update dhall-lang submoduleNadrieril2019-05-091-27/+56
|
* Rename the record combining operators internallyNadrieril2019-05-081-3/+3
|
* Thread Spans through the ASTNadrieril2019-05-041-82/+80
|
* Move `Note`s into the spine of the ASTNadrieril2019-05-041-1/+1
|
* Remove dummy lifetimesNadrieril2019-05-041-58/+55
|
* Replace pest::Span with a custom non-borrowing implementationNadrieril2019-05-041-25/+50
|
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-0/+984