summaryrefslogtreecommitdiff
path: root/dhall (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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-145-13/+30
* Implement binary decodingNadrieril2019-03-145-11/+237
* rustfmtNadrieril2019-03-121-2/+10
* Handle Some and None builtinsNadrieril2019-03-122-33/+42
* Greatly reduce parser stack usageNadrieril2019-03-121-1/+1
* Fix stack overflows in prelude testsNadrieril2019-03-111-4/+4
* Fix List/fold implementationNadrieril2019-03-112-16/+14
* Update dhall-lang and reactivate prelude testsNadrieril2019-03-111-127/+127
* Normalize lazilyNadrieril2019-03-111-166/+212
* Considerably simplify typecheck using dhall_expr!()Nadrieril2019-03-091-96/+50
* Add typecheck testsNadrieril2019-03-092-0/+178
* Obey clippy lintsNadrieril2019-03-095-6/+10
* Remove the pervasive Label type parameterNadrieril2019-03-095-93/+65
* Use new Label type everywhereNadrieril2019-03-095-88/+64
* Use new Label type instead of &str in parserNadrieril2019-03-092-3/+3
* Disable Prelude tests for nowNadrieril2019-03-091-127/+134
* A whole new bunch of tests now pass !Nadrieril2019-03-093-52/+54
* Rename dhall! to dhall_expr! for clarityNadrieril2019-03-091-5/+5
* Recursive imports work !Nadrieril2019-03-091-2/+2
* rustfmtNadrieril2019-03-091-16/+34
* First import works !Nadrieril2019-03-094-74/+93
* Clean up some of the messNadrieril2019-03-082-24/+17
* Rename Expr back to its true nameNadrieril2019-03-086-84/+84
* Finally get rid of all the &'i strNadrieril2019-03-085-108/+114
* Make labels non-CopyNadrieril2019-03-082-8/+8
* rustfmtNadrieril2019-03-082-5/+9
* Slowly propagate the new type parameter throughout the codebaseNadrieril2019-03-085-83/+106
* Generalise Context on its type of keysNadrieril2019-03-081-4/+4
* Make Expr generic in its type of labelsNadrieril2019-03-082-4/+5
* Make test harness less macro-yNadrieril2019-03-072-59/+126
* rustfmtNadrieril2019-03-063-35/+46
* Finally get rid of old parserNadrieril2019-03-062-35/+4
* Start parsing importsNadrieril2019-03-065-6/+15
* Merge dhall_normalize back into dhall; that was unnecessaryNadrieril2019-03-066-4/+187
* rustfmtNadrieril2019-03-061-1/+1
* Simplify normalization using dhall! macroNadrieril2019-03-061-1/+1
* Move context to dhall_coreNadrieril2019-03-063-58/+1
* Remove doctest noise from cargo testNadrieril2019-03-061-0/+3
* Split-off normalization into its own crateNadrieril2019-03-064-1/+5
* Split-off core into its own crateNadrieril2019-03-0611-2624/+10
* rustfmtNadrieril2019-03-068-311/+570
* Implement normalization for some more builtinsNadrieril2019-03-063-15/+56
* rustfmtNadrieril2019-03-061-167/+292
* Add missing builtinsNadrieril2019-03-061-9/+27
* Merge binary operations in ASTNadrieril2019-03-054-126/+106
* Update test listNadrieril2019-03-052-22/+22
* Use core aliases for number typesNadrieril2019-03-051-3/+4