summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* 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
* Namespace deserialization functions in a `de` submoduleNadrieril2019-04-141-1/+1
* clippyNadrieril2019-04-141-3/+1
* Add import testsNadrieril2019-04-141-0/+12
* 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
* Abstract get_type() into a traitNadrieril2019-04-111-2/+3
* Handle untyped case differently from the type of SortNadrieril2019-04-111-1/+1
* Simplify test harnessNadrieril2019-04-101-114/+92
* Allow providing type for typechecking in APINadrieril2019-04-101-12/+11
* Mild cleanup importsNadrieril2019-04-101-4/+4
* Cleanup error handlingNadrieril2019-04-101-12/+9
* s/load_from/parse/Nadrieril2019-04-101-15/+15
* Limit public APINadrieril2019-04-081-2/+4
* Move spec tests into the relevant filesNadrieril2019-04-081-0/+176