summaryrefslogtreecommitdiff
path: root/dhall_syntax/src (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Display first pretty type errorNadrieril2019-11-111-0/+14
|
* Store a `Span` in `Value`Nadrieril2019-11-111-0/+3
|
* Capture absence of span in Span itselfNadrieril2019-11-113-25/+20
|
* Fix typoNadrieril2019-11-111-1/+1
|
* Move Span definition to its own fileNadrieril2019-11-113-35/+46
| | | | And prepare for more variants
* Remove unused functionNadrieril2019-11-111-4/+0
|
* Run `cargo fmt`Nadrieril2019-11-112-9/+10
|
* Merge branch 'master' into fintan/canonicalizeNadrieril Feneanar2019-09-203-333/+233
|\
| * Extract pest_consume into its own crateNadrieril2019-09-181-35/+27
| |
| * Change invocation syntax of pest_consume::parser macroNadrieril2019-09-171-1/+1
| |
| * Remove need for slice_patterns in pest_consumeNadrieril2019-09-171-1/+0
| |
| * Various tweaksNadrieril2019-09-111-8/+6
| |
| * Rename match_inputs to match_nodes to reflect new terminologyNadrieril2019-09-111-38/+38
| |
| * No need to force user data to be a referenceNadrieril2019-09-101-11/+6
| |
| * Rename various bits of the pest_consume APINadrieril2019-09-101-3/+3
| |
| * Use proc_macro_hack to avoid the need for the proc_macro_hygiene featureNadrieril2019-09-101-1/+0
| |
| * Allows using match_inputs outside of a make_parser implNadrieril2019-09-101-18/+14
| |
| * Implement parsing in PestConsumerNadrieril2019-09-101-7/+7
| |
| * Add dummy `entrypoint` attributeNadrieril2019-09-101-0/+1
| |
| * Use match_inputs for parser entrypointNadrieril2019-09-101-7/+13
| |
| * Rename parse_children to match_inputsNadrieril2019-09-101-37/+37
| |
| * Generalize parse_children and change its invocationNadrieril2019-09-101-36/+36
| |
| * Move pest_consume into its own crateNadrieril2019-09-091-129/+3
| |
| * Make ParseInput independent from dhall-specific typesNadrieril2019-09-092-255/+261
| |
| * Store Spans at every node when parsingNadrieril2019-09-062-17/+51
| |
* | 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
| |