summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2020-02-17Rename Value to NirNadrieril1-1/+1
2020-02-09Resolve variables alongside import resolutionNadrieril1-9/+13
2020-02-09Track error output of parsing and binary decoding testsNadrieril1-5/+7
2020-02-09Remove distinction between failure and error testsNadrieril1-12/+4
2020-02-09Add option to overwrite test filesNadrieril1-48/+105
2020-02-09Move ui outputs to a sensible placeNadrieril1-8/+3
2020-02-09Massively deduplicate test harnessNadrieril1-139/+140
2020-02-09Track output of import errorsNadrieril1-0/+26
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-0/+3
2020-01-30Move main API to lib.rsNadrieril1-1/+1
2020-01-29Use TyExpr in TypedNadrieril1-71/+14
2020-01-29Fix more bugsNadrieril1-4/+14
2020-01-28Fix all sorts of variable shenanigansNadrieril1-0/+18
2020-01-27Fix a bunch of bugs and more tckNadrieril1-7/+4
2020-01-25Typecheck more casesNadrieril1-4/+11
2020-01-24Implement basic typecheck with new approachNadrieril1-9/+16
2020-01-23Implement basic env-based normalization for Value-based TyExprNadrieril1-2/+12
2020-01-21Simplify type error typeNadrieril1-13/+13
2020-01-20Reimplement basic tck/nze with proper environmentsNadrieril1-6/+13
2019-12-24Ensure normalization respects var names on the noseNadrieril1-10/+5
2019-12-24Ensure inferred type is always in normal formNadrieril1-5/+2
2019-12-24Ensure the output of type inference matches the spec variable namesNadrieril1-2/+2
2019-12-20Move error module to root of crateNadrieril1-1/+1
2019-12-15Refer to semantics module properlyNadrieril1-2/+2
2019-11-11Explain TypeError testsNadrieril1-0/+3
2019-11-11Display first pretty type errorNadrieril1-1/+24
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