summaryrefslogtreecommitdiff
path: root/dhall/tests/tests.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Handle Some and None builtinsNadrieril2019-03-121-32/+32
* Fix stack overflows in prelude testsNadrieril2019-03-111-4/+4
* 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
* 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