summaryrefslogtreecommitdiff
Commit message (Collapse)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
| | | | Closes #5
* 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
| | | | Closes #7
* Use Rc<str> for LabelNadrieril2019-03-101-6/+8
| | | | Closes #18
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-092-123/+107
| | | | Closes #17
* rustfmtNadrieril2019-03-091-18/+28
|
* Add typecheck testsNadrieril2019-03-092-0/+178
| | | | Closes #4
* Refactor abnf_to_pest to make rule editing possibleNadrieril2019-03-092-129/+128
| | | | Obsoletes #16
* Obey clippy lintsNadrieril2019-03-0910-27/+35
| | | | Closes #14
* Remove the pervasive Label type parameterNadrieril2019-03-098-204/+134
| | | | Closes #1
* 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
| | | | This reverts commit c2965244babe7b391fc6a72c015db6720ceb853f.
* 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
|