summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2019-11-11Test type error messagesNadrieril1-8/+34
2019-11-11Generate import tests automaticallyNadrieril1-16/+15
2019-11-11Remove unused "typecheck" testsNadrieril1-21/+0
2019-08-30Rework test harness to prepare for new types of testsNadrieril1-176/+147
2019-08-27clippyNadrieril1-1/+2
2019-08-26Tweak tests to avoid double compilationNadrieril1-0/+7
2019-08-20No need for Cow in return type of get_typeNadrieril1-1/+1
2019-08-19Use TypedValue instead of Typed in normalize and typecheckNadrieril1-1/+1
2019-08-19s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril1-1/+1
2019-08-16Typecheck before normalizing in testsNadrieril1-12/+16
2019-08-15Disable some unused unstable featuresNadrieril1-1/+1
2019-08-08Add support for dependent typesNadrieril1-0/+1
2019-08-07Remove an annoying redundancy in the test harnessNadrieril1-13/+1
2019-08-07Add binary-decode testsNadrieril1-1/+32
2019-08-07Forbid surrogate pairs and non-charactersNadrieril1-0/+2
2019-05-12Split-off printer and binary encoding tests from parser testsNadrieril1-37/+59
2019-05-12Include success or failure prefix in test filteringNadrieril1-8/+2
2019-05-12Implement binary encodingNadrieril1-7/+33
2019-05-09Rewrite Deserialize trait around new Value and TypeNadrieril1-1/+1
2019-05-09Generate normalization tests automaticallyNadrieril1-0/+5
2019-05-07Unify Type, TypeInternal and TypedNadrieril1-1/+0
2019-05-06Reorganize dhall into a phase structureNadrieril1-1/+1
2019-05-05Implement alpha-normalizationNadrieril1-1/+8
2019-05-03No need for extra stack in tests anymoreNadrieril1-12/+6
2019-05-02Instead of possibly nonexistent Type, treat Sort speciallyNadrieril1-6/+3
2019-04-30Store a Thunk in TypedNadrieril1-2/+1
2019-04-23Avoid duplicating work when matching on Pi typesNadrieril1-3/+6
2019-04-21Embrace TypeInternal as a semantic valueNadrieril1-1/+1
2019-04-20Improve test failure ergonomicsNadrieril1-10/+5
2019-04-16Improve test error ergonomicsNadrieril1-2/+8
2019-04-16Remove higher-kinded type noise in TypeNadrieril1-1/+1
2019-04-15Handle empty optionals correctlyNadrieril1-1/+1
2019-04-14Namespace deserialization functions in a `de` submoduleNadrieril1-1/+1
2019-04-14clippyNadrieril1-3/+1
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