summaryrefslogtreecommitdiff
path: root/dhall/tests (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Handle merge and record projectionNadrieril2019-03-231-6/+6
|
* Update dhall-lang submoduleNadrieril2019-03-231-2/+3
|
* Handle double overflows in parserNadrieril2019-03-231-2/+2
|
* Parse unicode escapes in stringNadrieril2019-03-231-1/+1
|
* Handle quoted labelsNadrieril2019-03-221-1/+1
|
* Parse a lot more of the import typesNadrieril2019-03-221-7/+7
|
* Improve import handling in parserNadrieril2019-03-212-5/+10
|
* Follow the spec for handling DoublesNadrieril2019-03-211-1/+1
|
* Reorganize dhall_core a bitNadrieril2019-03-211-1/+1
|
* Make parser implementation non-recursiveNadrieril2019-03-201-16/+1
|
* Cleanup parser codeNadrieril2019-03-201-1/+1
|
* Obsolete old parser macros; performance is now deadNadrieril2019-03-201-1/+1
|
* Handle simple parsing cases with new macrosNadrieril2019-03-201-1/+1
|
* rustfmtNadrieril2019-03-191-1/+1
|
* Test printer in parser testsNadrieril2019-03-191-0/+5
| | | | Closes #30
* Add travis integrationNadrieril2019-03-191-11/+15
|
* Implement a few more primitivesNadrieril2019-03-181-21/+21
|
* Split List literal between empty and non-emptyNadrieril2019-03-181-3/+3
|
* Considerably simplify subst, shift and typecheckingNadrieril2019-03-181-4/+1
|
* Use Rc consistently everywhereNadrieril2019-03-171-9/+9
|
* 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-151-1/+172
|
* Handle and parse interpolated stringsNadrieril2019-03-142-8/+10
| | | | Closes #25
* Implement binary decodingNadrieril2019-03-142-11/+21
| | | | | Closes #2 Closes #23
* Handle Some and None builtinsNadrieril2019-03-121-32/+32
| | | | Closes #19
* Greatly reduce parser stack usageNadrieril2019-03-121-1/+1
|
* 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-092-0/+178
| | | | Closes #4
* Remove the pervasive Label type parameterNadrieril2019-03-091-3/+1
| | | | Closes #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
|