summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-066-468/+646
|\
| * Implement rule shortcutting, and cleanup make_parser codeNadrieril2019-09-051-6/+17
| |
| * Implement rule aliasing and simplify parser codeNadrieril2019-09-051-246/+177
| |
| * Add mapping functions to InterpolatedTextContentsNadrieril2019-09-031-0/+46
| |
| * Resolve imports by mutating Expr instead of cloning itNadrieril2019-09-035-225/+399
| |
| * No need to change the type of Embed when resolving anymoreNadrieril2019-09-032-14/+22
| |
* | Merge remote-tracking branch 'origin/fintan/canonicalize' into ↵Fintan Halpenny2019-09-063-951/+942
|\ \ | | | | | | | | | fintan/canonicalize
| * | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeNadrieril2019-09-033-951/+942
| |\|
| | * 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
| | |
* | | Move Canonicalize into resolve.Fintan Halpenny2019-09-032-75/+6
| | | | | | | | | | | | Rename File to FilePath and have more consistent naming.
* | | No need for as_ref callFintan Halpenny2019-09-031-1/+1
|/ /
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintan Halpenny2019-09-028-862/+727
|\|
| * 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
| |
* | Remove the notion of Directory and have File be the vector of componentsFintan Halpenny2019-09-022-53/+19
| |
* | Merge remote-tracking branch 'origin/master' into fintan/canonicalizeFintanH2019-08-126-107/+254
|\|
| * 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-27 02:00:52 +0000