summaryrefslogtreecommitdiff
path: root/dhall/tests/normalization.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-03-20Obsolete old parser macros; performance is now deadNadrieril1-1/+1
2019-03-18Implement a few more primitivesNadrieril1-21/+21
2019-03-18Split List literal between empty and non-emptyNadrieril1-3/+3
2019-03-15Split different tests features into their own filesNadrieril1-237/+1
2019-03-15Rework test harnessNadrieril1-537/+564
2019-03-15Update spec submodule and add new testsNadrieril1-1/+172
2019-03-14Handle and parse interpolated stringsNadrieril1-5/+5
2019-03-14Implement binary decodingNadrieril1-8/+8
2019-03-12Handle Some and None builtinsNadrieril1-32/+32
2019-03-11Fix stack overflows in prelude testsNadrieril1-4/+4
2019-03-11Fix List/fold implementationNadrieril1-12/+10
2019-03-11Update dhall-lang and reactivate prelude testsNadrieril1-127/+127
2019-03-09Add typecheck testsNadrieril1-0/+157
2019-03-09Disable Prelude tests for nowNadrieril1-127/+134
2019-03-09A whole new bunch of tests now pass !Nadrieril1-51/+52
2019-03-06Start parsing importsNadrieril1-1/+1
2019-03-06Simplify normalization using dhall! macroNadrieril1-1/+1
2019-03-06Implement normalization for some more builtinsNadrieril1-4/+4
2019-03-05Update test listNadrieril1-21/+21
2019-03-03Parse more of the ASTNadrieril1-1/+1
2019-03-03Remove obsolete testsNadrieril1-2/+0
2019-03-02Add parser/failure tests from specNadrieril1-0/+10
2019-03-01Split abnf_to_pest and dhall into their own cratesNadrieril1-0/+0
2019-02-28Start rewriting parser in pestNadrieril1-9/+58
2019-02-27Add all normalization tests that passNadrieril1-24/+163
2019-02-27Add Natural/Show builtinNadrieril1-7/+20
2019-02-27Add one test from the specNadrieril1-0/+12