summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Typecheck more casesNadrieril2020-01-251-4/+11
|
* Implement basic typecheck with new approachNadrieril2020-01-241-9/+16
|
* Implement basic env-based normalization for Value-based TyExprNadrieril2020-01-231-2/+12
|
* Simplify type error typeNadrieril2020-01-211-13/+13
|
* Reimplement basic tck/nze with proper environmentsNadrieril2020-01-201-6/+13
| | | | Inspired from dhall_haskell
* Ensure normalization respects var names on the noseNadrieril2019-12-241-10/+5
|
* Ensure inferred type is always in normal formNadrieril2019-12-241-5/+2
|
* Ensure the output of type inference matches the spec variable namesNadrieril2019-12-241-2/+2
|
* Move error module to root of crateNadrieril2019-12-201-1/+1
|
* Refer to semantics module properlyNadrieril2019-12-151-2/+2
|
* Explain TypeError testsNadrieril2019-11-111-0/+3
|
* Display first pretty type errorNadrieril2019-11-111-1/+24
|
* Test type error messagesNadrieril2019-11-111-8/+34
|
* Generate import tests automaticallyNadrieril2019-11-111-16/+15
|
* Remove unused "typecheck" testsNadrieril2019-11-111-21/+0
|
* Rework test harness to prepare for new types of testsNadrieril2019-08-301-176/+147
|
* clippyNadrieril2019-08-271-1/+2
|
* Tweak tests to avoid double compilationNadrieril2019-08-261-0/+7
|
* No need for Cow in return type of get_typeNadrieril2019-08-201-1/+1
|
* Use TypedValue instead of Typed in normalize and typecheckNadrieril2019-08-191-1/+1
| | | | | Now Typed is only used in dhall::phase, similarly to Parsed/Resolved/Normalized
* s/to_valuef/to_whnf/ and avoid cloning ValueFs when possibleNadrieril2019-08-191-1/+1
|
* Typecheck before normalizing in testsNadrieril2019-08-161-12/+16
|
* Disable some unused unstable featuresNadrieril2019-08-151-1/+1
|
* Add support for dependent typesNadrieril2019-08-081-0/+1
|
* Remove an annoying redundancy in the test harnessNadrieril2019-08-071-13/+1
|
* Add binary-decode testsNadrieril2019-08-071-1/+32
|
* Forbid surrogate pairs and non-charactersNadrieril2019-08-071-0/+2
|
* Split-off printer and binary encoding tests from parser testsNadrieril2019-05-121-37/+59
|
* Include success or failure prefix in test filteringNadrieril2019-05-121-8/+2
|
* Implement binary encodingNadrieril2019-05-121-7/+33
| | | | Closes #39
* Rewrite Deserialize trait around new Value and TypeNadrieril2019-05-091-1/+1
|
* Generate normalization tests automaticallyNadrieril2019-05-091-0/+5
|
* Unify Type, TypeInternal and TypedNadrieril2019-05-071-1/+0
|
* Reorganize dhall into a phase structureNadrieril2019-05-061-1/+1
|
* Implement alpha-normalizationNadrieril2019-05-051-1/+8
| | | | Closes #12
* No need for extra stack in tests anymoreNadrieril2019-05-031-12/+6
|
* Instead of possibly nonexistent Type, treat Sort speciallyNadrieril2019-05-021-6/+3
|
* Store a Thunk in TypedNadrieril2019-04-301-2/+1
|
* Avoid duplicating work when matching on Pi typesNadrieril2019-04-231-3/+6
|
* Embrace TypeInternal as a semantic valueNadrieril2019-04-211-1/+1
|
* Improve test failure ergonomicsNadrieril2019-04-201-10/+5
|
* Improve test error ergonomicsNadrieril2019-04-161-2/+8
|
* Remove higher-kinded type noise in TypeNadrieril2019-04-161-1/+1
|
* Handle empty optionals correctlyNadrieril2019-04-151-1/+1
| | | | Closes #78
* Namespace deserialization functions in a `de` submoduleNadrieril2019-04-141-1/+1
| | | | Closes #73
* clippyNadrieril2019-04-141-3/+1
|
* Add import testsNadrieril2019-04-141-0/+12
| | | | Closes #71
* Improve error display on test failureNadrieril2019-04-131-10/+20
|
* Restrict public API to its most minimal expressionNadrieril2019-04-121-1/+1
|
* Add lifetime parameters to Parsed and ResolvedNadrieril2019-04-111-1/+2
| | | | Future-proofing