summaryrefslogtreecommitdiff
path: root/dhall/tests/tests.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Handle Some and None builtinsNadrieril2019-03-121-32/+32
| | | | Closes #19
* Fix stack overflows in prelude testsNadrieril2019-03-111-4/+4
| | | | Closes #5
* Fix List/fold implementationNadrieril2019-03-111-12/+10
|
* Update dhall-lang and reactivate prelude testsNadrieril2019-03-111-127/+127
|
* Add typecheck testsNadrieril2019-03-091-0/+157
| | | | Closes #4
* Disable Prelude tests for nowNadrieril2019-03-091-127/+134
|
* A whole new bunch of tests now pass !Nadrieril2019-03-091-51/+52
|
* Start parsing importsNadrieril2019-03-061-1/+1
|
* Simplify normalization using dhall! macroNadrieril2019-03-061-1/+1
|
* Implement normalization for some more builtinsNadrieril2019-03-061-4/+4
|
* Update test listNadrieril2019-03-051-21/+21
|
* Parse more of the ASTNadrieril2019-03-031-1/+1
|
* Remove obsolete testsNadrieril2019-03-031-2/+0
|
* Add parser/failure tests from specNadrieril2019-03-021-0/+10
|
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-011-0/+213