summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-04-14Add import testsNadrieril1-0/+12
2019-04-13Improve error display on test failureNadrieril1-10/+20
2019-04-12Restrict public API to its most minimal expressionNadrieril1-1/+1
2019-04-11Add lifetime parameters to Parsed and ResolvedNadrieril1-1/+2
2019-04-11Abstract get_type() into a traitNadrieril1-2/+3
2019-04-11Handle untyped case differently from the type of SortNadrieril1-1/+1
2019-04-10Simplify test harnessNadrieril1-114/+92
2019-04-10Allow providing type for typechecking in APINadrieril1-12/+11
2019-04-10Mild cleanup importsNadrieril1-4/+4
2019-04-10Cleanup error handlingNadrieril1-12/+9
2019-04-10s/load_from/parse/Nadrieril1-15/+15
2019-04-08Limit public APINadrieril1-2/+4
2019-04-08Move spec tests into the relevant filesNadrieril1-9/+9
2019-04-07Restrict public APINadrieril1-16/+47
2019-04-07Avoid constructing exprs manually when possibleNadrieril1-1/+1
2019-04-07Augment stack size for typecheck testsNadrieril1-5/+15
2019-04-06Move binary decoding to new APINadrieril1-14/+11
2019-04-06Massage import loading into new APINadrieril1-2/+7
2019-04-06s/DhallError/ImportError/Nadrieril1-3/+3
2019-04-06Add type-inference testsNadrieril1-0/+16
2019-03-31Move recursion out of ExprNadrieril1-1/+1
2019-03-21Improve import handling in parserNadrieril1-4/+9
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-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-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 filesNadrieril1-1/+2
2019-03-15Rework test harnessNadrieril1-54/+30
2019-03-14Handle and parse interpolated stringsNadrieril1-3/+5
2019-03-14Implement binary decodingNadrieril1-3/+13
2019-03-12Greatly reduce parser stack usageNadrieril1-1/+1
2019-03-09Add typecheck testsNadrieril1-0/+21
2019-03-09Remove the pervasive Label type parameterNadrieril1-3/+1
2019-03-09Use new Label type everywhereNadrieril1-3/+3
2019-03-09First import works !Nadrieril1-23/+8
2019-03-08Rename Expr back to its true nameNadrieril1-1/+1
2019-03-08Finally get rid of all the &'i strNadrieril1-2/+3
2019-03-08rustfmtNadrieril1-4/+8
2019-03-08Slowly propagate the new type parameter throughout the codebaseNadrieril1-3/+3
2019-03-07Make test harness less macro-yNadrieril1-59/+80
2019-03-06Finally get rid of old parserNadrieril1-7/+2
2019-03-06Merge dhall_normalize back into dhall; that was unnecessaryNadrieril1-1/+0
2019-03-06Split-off normalization into its own crateNadrieril1-0/+1
2019-03-06Split-off core into its own crateNadrieril1-0/+1
2019-03-06rustfmtNadrieril1-20/+35