summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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-092-0/+178
* Remove the pervasive Label type parameterNadrieril2019-03-091-3/+1
* Use new Label type everywhereNadrieril2019-03-091-3/+3
* Disable Prelude tests for nowNadrieril2019-03-091-127/+134
* A whole new bunch of tests now pass !Nadrieril2019-03-091-51/+52
* First import works !Nadrieril2019-03-091-23/+8
* Rename Expr back to its true nameNadrieril2019-03-081-1/+1
* Finally get rid of all the &'i strNadrieril2019-03-081-2/+3
* rustfmtNadrieril2019-03-081-4/+8
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-081-3/+3
* Make test harness less macro-yNadrieril2019-03-071-59/+80
* Finally get rid of old parserNadrieril2019-03-061-7/+2
* Start parsing importsNadrieril2019-03-061-1/+1
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-061-1/+0
* Simplify normalization using dhall! macroNadrieril2019-03-061-1/+1
* Split-off normalization into its own crateNadrieril2019-03-061-0/+1
* Split-off core into its own crateNadrieril2019-03-061-0/+1
* rustfmtNadrieril2019-03-061-20/+35
* Implement normalization for some more builtinsNadrieril2019-03-062-10/+40
* Update test listNadrieril2019-03-052-22/+22
* Allow branching in match_children! macroNadrieril2019-03-051-0/+1
* Use normalization tests to test the parser tooNadrieril2019-03-031-8/+19
* Parse more of the ASTNadrieril2019-03-032-4/+3
* Remove obsolete testsNadrieril2019-03-031-2/+0
* Brutally increase stack sizeNadrieril2019-03-031-1/+5
* Parse more AST nodesNadrieril2019-03-031-2/+5
* Add parser/failure tests from specNadrieril2019-03-022-1/+17
* Split abnf_to_pest and dhall into their own cratesNadrieril2019-03-012-0/+250
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 02:58:08 +0000