summaryrefslogtreecommitdiff
path: root/dhall/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-06Factor out the recursion when possible in typecheckNadrieril1-2/+2
2019-04-06Add type-inference testsNadrieril2-0/+149
2019-04-04Update dhall-lang submoduleNadrieril1-36/+36
2019-04-04Update dhall-lang submoduleNadrieril1-36/+36
2019-03-31Move recursion out of ExprNadrieril1-1/+1
2019-03-31rustfmtNadrieril1-4/+1
2019-03-31Remove some redundant namespacingNadrieril1-16/+16
2019-03-26Derive DhallType for anonymous structs and enumsNadrieril1-0/+24
2019-03-26Derive DhallType for structsNadrieril1-10/+27
2019-03-26Update dhall-lang submoduleNadrieril1-5/+5
2019-03-24Lay groundwork for DhallType derivingNadrieril1-0/+15
2019-03-24Parse multiline strings correctlyNadrieril1-8/+0
2019-03-24Generate parser tests list automaticallyNadrieril1-67/+2
2019-03-24Parser import hash and headersNadrieril1-1/+1
2019-03-24Disallow builtins as bound variablesNadrieril1-1/+1
2019-03-23Handle merge and record projectionNadrieril1-6/+6
2019-03-23Update dhall-lang submoduleNadrieril1-2/+3
2019-03-23Handle double overflows in parserNadrieril1-2/+2
2019-03-23Parse unicode escapes in stringNadrieril1-1/+1
2019-03-22Handle quoted labelsNadrieril1-1/+1
2019-03-22Parse a lot more of the import typesNadrieril1-7/+7
2019-03-21Improve import handling in parserNadrieril2-5/+10
2019-03-21Follow the spec for handling DoublesNadrieril1-1/+1
2019-03-21Reorganize dhall_core a bitNadrieril1-1/+1
2019-03-20Make parser implementation non-recursiveNadrieril1-16/+1
2019-03-20Cleanup parser codeNadrieril1-1/+1
2019-03-20Obsolete old parser macros; performance is now deadNadrieril1-1/+1
2019-03-20Handle simple parsing cases with new macrosNadrieril1-1/+1
2019-03-19rustfmtNadrieril1-1/+1
2019-03-19Test printer in parser testsNadrieril1-0/+5
2019-03-19Add travis integrationNadrieril1-11/+15
2019-03-18Implement a few more primitivesNadrieril1-21/+21
2019-03-18Split List literal between empty and non-emptyNadrieril1-3/+3
2019-03-18Considerably simplify subst, shift and typecheckingNadrieril1-4/+1
2019-03-17Use Rc consistently everywhereNadrieril1-9/+9
2019-03-15Split different tests features into their own filesNadrieril4-238/+241
2019-03-15Rework test harnessNadrieril2-591/+594
2019-03-15Update spec submodule and add new testsNadrieril1-1/+172
2019-03-14Handle and parse interpolated stringsNadrieril2-8/+10
2019-03-14Implement binary decodingNadrieril2-11/+21
2019-03-12Handle Some and None builtinsNadrieril1-32/+32
2019-03-12Greatly reduce parser stack usageNadrieril1-1/+1
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 testsNadrieril2-0/+178
2019-03-09Remove the pervasive Label type parameterNadrieril1-3/+1
2019-03-09Use new Label type everywhereNadrieril1-3/+3
2019-03-09Disable Prelude tests for nowNadrieril1-127/+134
2019-03-09A whole new bunch of tests now pass !Nadrieril1-51/+52