summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* fixup! Reexport dhall_syntax as a module in dhallNadrieril2019-12-152-3/+5
|
* Move contents of dhall under a semantics submoduleNadrieril2019-12-1514-3/+5
|
* Reexport dhall_syntax as a module in dhallNadrieril2019-12-1515-44/+48
|
* Merge dhall_generated_parser into dhall_syntaxNadrieril2019-12-1310-51/+6
|
* Derive Parser in dhall_syntax directlyNadrieril2019-12-133-5/+3
|
* Silence a macro-generated warningNadrieril2019-12-131-0/+1
|
* dhall_syntax doesn't use dhall_proc_macrosNadrieril2019-11-112-2/+0
|
* Add more detail to TypeMismatch errorNadrieril2019-11-116-3/+59
|
* rustfmtNadrieril2019-11-113-4/+12
|
* Remove unused error textsNadrieril2019-11-1134-1765/+0
| | | | | Those were copied from dhall-haskell back before I (Nadrieril) forked dhall-rust from Nanotech. They have never been used.
* typoNadrieril2019-11-111-2/+2
|
* Merge pull request #115 from Nadrieril/parse-selection-be-exprNadrieril Feneanar2019-11-118-35/+42
|\ | | | | Parse projection by expression
| * Parse projection by expressionNadrieril2019-11-118-35/+42
|/
* Merge pull request #114 from Nadrieril/nice-type-errorsNadrieril Feneanar2019-11-1198-125/+385
|\ | | | | Ground work for pretty type errors
| * Explain TypeError testsNadrieril2019-11-111-0/+3
| |
| * Ensure spans are compatible in Span::unionNadrieril2019-11-111-5/+7
| |
| * Add a few more pretty errorsNadrieril2019-11-1112-18/+46
| |
| * Clarify Span::union and add Span::mergeNadrieril2019-11-111-2/+14
| |
| * Propagate more spansNadrieril2019-11-113-8/+9
| |
| * Move "Type error" error prefixNadrieril2019-11-114-13/+17
| |
| * Display first pretty type errorNadrieril2019-11-117-9/+61
| |
| * Store a `Span` in `Value`Nadrieril2019-11-113-8/+32
| |
| * Capture absence of span in Span itselfNadrieril2019-11-116-29/+35
| |
| * Fix typoNadrieril2019-11-111-1/+1
| |
| * Move Span definition to its own fileNadrieril2019-11-113-35/+46
| | | | | | | | And prepare for more variants
| * Implement basicest Display for TypeErrorNadrieril2019-11-1188-130/+105
| |
| * Test type error messagesNadrieril2019-11-1189-8/+150
|/
* All relevant grammar changes have been upstreamedNadrieril2019-11-111-2/+0
|
* Update rust toolchainNadrieril2019-11-113-4/+1
|
* Remove unused functionNadrieril2019-11-111-4/+0
|
* Generate import tests automaticallyNadrieril2019-11-114-64/+57
|
* Remove unused "typecheck" testsNadrieril2019-11-111-21/+0
|
* Run `cargo fmt`Nadrieril2019-11-115-62/+75
|
* Merge pull request #99 from FintanH/fintan/canonicalizeNadrieril Feneanar2019-10-125-24/+102
|\ | | | | Introduce Canonicalize
| * Merge branch 'master' into fintan/canonicalizeNadrieril Feneanar2019-10-124-46/+27
| |\ | |/ |/|
* | Update dhall-lang submoduleNadrieril2019-09-202-1/+7
| |
* | Update dhall-lang submoduleNadrieril2019-09-202-39/+13
| |
* | Update pest_consume dependencyNadrieril2019-09-202-6/+7
| |
| * Merge branch 'master' into fintan/canonicalizeNadrieril Feneanar2019-09-2011-923/+288
| |\ | |/ |/|
* | Merge pull request #113 from Nadrieril/pest_consumeNadrieril Feneanar2019-09-1911-923/+288
|\ \ | | | | | | Extract parser macros into an independent crate
| * | Extract pest_consume into its own crateNadrieril2019-09-1812-1186/+36
| | |
| * | Change invocation syntax of pest_consume::parser macroNadrieril2019-09-174-6/+31
| | |
| * | Tweak match_nodesNadrieril2019-09-172-57/+72
| | |
| * | Update terminology in match_nodesNadrieril2019-09-171-36/+36
| | |
| * | Remove need for slice_patterns in pest_consumeNadrieril2019-09-174-35/+47
| | |
| * | Add basic doc to pest_consumeNadrieril2019-09-111-5/+118
| | |
| * | Various tweaksNadrieril2019-09-116-42/+47
| | |
| * | Rename match_inputs to match_nodes to reflect new terminologyNadrieril2019-09-115-48/+48
| | |
| * | Add an example to pest_consumeNadrieril2019-09-115-0/+97
| | |
| * | No need to force user data to be a referenceNadrieril2019-09-102-64/+56
| | |