summaryrefslogtreecommitdiff
path: root/dhall/src/tests.rs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Add lifetime parameters to Parsed and ResolvedNadrieril2019-04-111-1/+2
| | | | Future-proofing
* Abstract get_type() into a traitNadrieril2019-04-111-2/+3
|
* Handle untyped case differently from the type of SortNadrieril2019-04-111-1/+1
| | | | Closes #59
* 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
| | | | Closes #41
* s/load_from/parse/Nadrieril2019-04-101-15/+15
|
* Limit public APINadrieril2019-04-081-2/+4
| | | | Closes #53
* Move spec tests into the relevant filesNadrieril2019-04-081-0/+176