summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* tweakNadrieril2019-03-031-9/+10
|
* Brutally increase stack sizeNadrieril2019-03-032-42/+28
|
* Refactor parser using nom-like macrosNadrieril2019-03-031-140/+228
|
* Parse more AST nodesNadrieril2019-03-033-36/+106
|
* Handle errors in parserNadrieril2019-03-034-58/+36
|
* Parse builtinsNadrieril2019-03-032-22/+39
|
* Write macros to streamline parsingNadrieril2019-03-032-25/+59
|
* Merge builtins in a single enumNadrieril2019-03-035-134/+103
|
* Add parser/failure tests from specNadrieril2019-03-024-83/+100
|
* Start implementing parsing on top of pestNadrieril2019-03-023-108/+206
|
* Move part of parser into its own crate to limit recompilation timesNadrieril2019-03-0211-242/+221
|
* Tweak pest generationNadrieril2019-03-021-2/+2
|
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-0156-79/+104
|
* remove simple-label overrideNadrieril2019-03-011-2/+0
|
* override simple_label rule to avoid parsing keywordsNadrieril2019-03-011-10/+25
|
* Improve pest file layoutNadrieril2019-03-013-16/+57
|
* Auto-generate pest file from spec abnfNadrieril2019-02-289-844/+334
|
* Start rewriting parser in pestNadrieril2019-02-286-17/+1088
|
* Fix imports in grammar.lalrpopNadrieril2019-02-281-7/+7
|
* Add all normalization tests that passNadrieril2019-02-272-24/+194
|
* Add Natural/Show builtinNadrieril2019-02-273-7/+24
|
* Add one test from the specNadrieril2019-02-273-17/+25
|
* Add dhall-lang spec repo as a submoduleNadrieril2019-02-272-0/+3
|
* Fix mixed up parsing of integers/naturalsNadrieril2019-02-272-5/+5
|
* Switch to Rust 2018 editionNadrieril2019-02-278-40/+39
|
* Revert "Try to update to latest nom"Nadrieril2019-02-276-46/+50
| | | | This reverts commit d5bc8da87f3fed99a010d867a3e34d2768caf768.
* Try to update to latest nomNadrieril2019-02-276-50/+46
|
* Update dependenciesNadrieril2019-02-275-145/+521
|
* fixed some clippy warningsAndre Bogus2017-09-087-310/+336
|
* _ unused variablesNanoTech2017-03-101-5/+5
|
* Fix match on Embed(X)NanoTech2017-03-101-1/+1
|
* Output comparison scriptNanoTech2017-03-101-0/+9
|
* Start implementing error explanationsNanoTech2017-03-1036-26/+1828
|
* Implement fold/build fusion normalize casesNanoTech2017-03-101-7/+7
|
* Fix context lookup orderNanoTech2017-03-101-1/+1
| | | | The most recent item, with context index 0, is at the end of the Vec.
* Format more operators, still ignoring precedence for nowNanoTech2017-03-101-0/+6
|
* Format ListLit and OptionalLitNanoTech2017-03-101-23/+27
|
* Implement more normalize and typecheck casesNanoTech2017-03-102-226/+245
|
* Implement all subst casesNanoTech2017-03-101-8/+51
|
* Implement all shift casesNanoTech2017-03-101-74/+46
|
* Use BTreeMaps to keep records and unions sortedNanoTech2017-03-102-27/+13
|
* Implement more list functionsNanoTech2017-03-102-33/+55
| | | Now requires nightly for #![feature(box_patterns)]
* Fix formatting for Pi("_", _, _)NanoTech2017-03-101-0/+5
|
* normalize: Take the input Expr by referenceNanoTech2017-03-103-51/+60
|
* Implement more typechecker casesNanoTech2017-03-101-1/+30
|
* impl Display for ExprNanoTech2017-03-102-10/+241
|
* Implement more typechecking for Prelude/List/shiftedNanoTech2017-03-102-101/+122
|
* subst: Don't need to match on the left ExprNanoTech2017-03-101-12/+12
|
* subst: Take the input Exprs by referenceNanoTech2017-03-102-20/+19
|
* shift: Take the input Expr by referenceNanoTech2017-03-102-28/+24
|