summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Greatly reduce parser stack usageNadrieril2019-03-122-75/+80
* Add some explanatory commentsNadrieril2019-03-112-0/+18
* Make main parser rule atomicNadrieril2019-03-111-1/+1
* Set rustup toolchain to nightlyNadrieril2019-03-112-0/+3
* Fix stack overflows in prelude testsNadrieril2019-03-112-41/+24
* Fix List/fold implementationNadrieril2019-03-112-16/+14
* Update dhall-lang and reactivate prelude testsNadrieril2019-03-113-129/+135
* Normalize lazilyNadrieril2019-03-112-166/+213
* Use Rc<str> for LabelNadrieril2019-03-101-6/+8
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-092-123/+107
* rustfmtNadrieril2019-03-091-18/+28
* Add typecheck testsNadrieril2019-03-092-0/+178
* Refactor abnf_to_pest to make rule editing possibleNadrieril2019-03-092-129/+128
* Obey clippy lintsNadrieril2019-03-0910-27/+35
* Remove the pervasive Label type parameterNadrieril2019-03-098-204/+134
* Use new Label type everywhereNadrieril2019-03-097-178/+109
* Add READMENadrieril2019-03-091-0/+15
* Use new Label type instead of &str in parserNadrieril2019-03-097-66/+110
* Disable Prelude tests for nowNadrieril2019-03-092-130/+137
* A whole new bunch of tests now pass !Nadrieril2019-03-095-118/+126
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-092-6/+6
* Recursive imports work !Nadrieril2019-03-091-2/+2
* rustfmtNadrieril2019-03-092-38/+65
* First import works !Nadrieril2019-03-096-75/+106
* Clean up some of the messNadrieril2019-03-084-28/+32
* Rename Expr back to its true nameNadrieril2019-03-0810-217/+216
* Finally get rid of all the &'i strNadrieril2019-03-087-120/+126
* Make labels non-CopyNadrieril2019-03-083-104/+99
* rustfmtNadrieril2019-03-083-7/+10
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-088-178/+298
* Generalise Context on its type of keysNadrieril2019-03-083-22/+28
* Generate pest file manually in the hopes to reduce spurious recompilationsNadrieril2019-03-084-18/+23
* Make Expr generic in its type of labelsNadrieril2019-03-085-98/+100
* Make test harness less macro-yNadrieril2019-03-072-59/+126
* Update spec submoduleNadrieril2019-03-071-0/+0
* Use upstream pestNadrieril2019-03-074-7/+18
* Revert "Start moving strs in the AST"Nadrieril2019-03-073-170/+166
* Start moving strs in the ASTNadrieril2019-03-073-166/+170
* rustfmtNadrieril2019-03-065-41/+51
* Finally get rid of old parserNadrieril2019-03-0611-1210/+27
* Start parsing importsNadrieril2019-03-0611-30/+162
* Reorder rule in parser to match grammarNadrieril2019-03-061-108/+110
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-069-43/+7
* Handle correctly captured variables in dhall!Nadrieril2019-03-062-38/+57
* Remove more clutter in normalizeNadrieril2019-03-061-7/+7
* rustfmtNadrieril2019-03-065-27/+44
* Considerably remove clutter in normalizeNadrieril2019-03-062-142/+107
* Remove FailedParse variantNadrieril2019-03-061-4/+0
* Simplify normalization using dhall! macroNadrieril2019-03-063-54/+63
* Move context to dhall_coreNadrieril2019-03-064-2/+2