summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Upgrade rust toolchainNadrieril2019-09-031-1/+0
|
* Parse polymorphically in the Embed parameterNadrieril2019-09-022-71/+78
|
* We don't use the try_blocks feature anymoreNadrieril2019-09-021-1/+0
|
* Use proper hygiene for `Parsers` and `Rule`Nadrieril2019-09-022-2/+8
|
* Properly parse the argument of make_parser as an implNadrieril2019-09-021-1/+3
|
* Get rid of EntryPoint magicNadrieril2019-09-021-43/+48
|
* Avoid use of bind_by_move_pattern_guards featureNadrieril2019-09-021-1/+0
|
* 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-012-748/+928
| | | | 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-312-22/+27
|
* Implement parsing of `toMap` keywordNadrieril2019-08-314-1/+23
|
* Rename SubExpr to Expr, and Expr to RawExprNadrieril2019-08-284-72/+71
| | | | For clarity, and consistency with Value
* clippyNadrieril2019-08-273-5/+5
|
* 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-262-25/+129
|
* Use `!` type instead of custom empty typeNadrieril2019-08-164-15/+6
|
* Include precedence parsing in parser macrosNadrieril2019-08-152-133/+188
|
* 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-135-44/+80
|
* Implement Hash for ParsedSubExprNadrieril2019-08-132-6/+24
|
* The syntax has very little sharing; no need for Rc anymoreNadrieril2019-08-131-11/+5
|
* Store Imports in their own node instead of in EmbedNadrieril2019-08-134-20/+36
|
* Cleanup visitor codeNadrieril2019-08-131-139/+54
|
* Considerably simplify Embed handlingNadrieril2019-08-133-128/+44
|
* Stop tracking the absence of Embed values at the type levelNadrieril2019-08-134-35/+4
|
* No need to track the absence of `Span`s at the type levelNadrieril2019-08-134-138/+84
|
* Add support for dependent typesNadrieril2019-08-084-1/+22
|
* Add truncated Natural subtractionNadrieril2019-08-073-0/+3
|
* Remove union literals from the languageNadrieril2019-08-074-63/+3
|
* Forbid surrogate pairs and non-charactersNadrieril2019-08-071-2/+21
|
* Sort labels in projection expressionsNadrieril2019-08-073-5/+100
|
* Generalize empty list annotationsNadrieril2019-08-062-5/+7
|
* Prepare for https://github.com/dhall-lang/dhall-lang/pull/630Nadrieril2019-08-062-3/+3
|
* Add toMap keywordNadrieril2019-08-061-0/+1
|
* RFC3986 URLsNadrieril2019-08-063-0/+9
|
* Braced escape sequencesNadrieril2019-08-061-4/+24
|
* Add some new tests and implement import alternativesNadrieril2019-08-062-0/+64
|
* Remove old-style optional literalsNadrieril2019-08-064-31/+3
|
* Inline headersNadrieril2019-08-061-0/+1
|
* Update dhall-lang submoduleNadrieril2019-08-031-0/+1
|
* Update dhall-lang submoduleNadrieril2019-08-033-9/+18
|
* TweakNadrieril2019-05-121-12/+12
|
* clippyNadrieril2019-05-123-5/+4
|
* Implement binary encodingNadrieril2019-05-125-50/+106
| | | | Closes #39