summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix rust version to useNadrieril2019-03-192-3/+3
|
* Add coveralls CI integrationNadrieril2019-03-191-7/+2
|
* Add travis integrationNadrieril2019-03-193-11/+46
|
* Implement a few more primitivesNadrieril2019-03-184-38/+73
|
* Split List literal between empty and non-emptyNadrieril2019-03-187-50/+61
|
* tweaksNadrieril2019-03-181-4/+14
|
* Split off builtin application normalization for clarityNadrieril2019-03-181-168/+149
|
* Improve normalization ergonomicsNadrieril2019-03-181-145/+150
|
* Improve ergonomics of typecheckingNadrieril2019-03-181-354/+248
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-185-491/+188
|
* Clean up some mess relating to Clone boundsNadrieril2019-03-174-81/+43
|
* Use Rc consistently everywhereNadrieril2019-03-177-583/+695
|
* Use Rc instead of Box in AST to allow structural sharingNadrieril2019-03-166-86/+93
| | | | Closes #29
* Use Box more uniformly in ASTNadrieril2019-03-166-164/+171
| | | | Closes #28
* Store an Option in OptionalLit instead of a vecNadrieril2019-03-166-45/+38
| | | | Closes #21
* rustfmtNadrieril2019-03-151-26/+24
|
* Get rid of box patternsNadrieril2019-03-153-15/+13
| | | | Closes #27
* Store a vec in AppNadrieril2019-03-156-174/+175
| | | | Closes #26
* Revert "Start rewriting parser with slice patterns"Nadrieril2019-03-152-123/+30
| | | | This reverts commit 9d033adb111dd5b5008a9430c8425d3152dabee5.
* Start rewriting parser with slice patternsNadrieril2019-03-152-30/+123
|
* Split different tests features into their own filesNadrieril2019-03-154-238/+241
|
* Rework test harnessNadrieril2019-03-152-591/+594
|
* Update spec submodule and add new testsNadrieril2019-03-152-1/+172
|
* rustfmtNadrieril2019-03-141-5/+16
|
* Handle and parse interpolated stringsNadrieril2019-03-149-43/+254
| | | | Closes #25
* Implement binary decodingNadrieril2019-03-147-14/+270
| | | | | Closes #2 Closes #23
* Update spec submoduleNadrieril2019-03-131-0/+0
|
* rustfmtNadrieril2019-03-122-18/+25
|
* Handle Some and None builtinsNadrieril2019-03-123-39/+60
| | | | Closes #19
* 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
|