Directory listing for dhall-1.20.1 source tarball
dhall-1.20.1/tests/typecheck/
- failure/
- success/
- accessEncodedTypeA.dhall
- accessEncodedTypeB.dhall
- accessTypeA.dhall
- accessTypeB.dhall
- recordOfRecordOfTypesA.dhall
- recordOfRecordOfTypesB.dhall
- recordOfTypesA.dhall
- recordOfTypesB.dhall
- prelude/
- Bool/
- Double/
- Integer/
- List/
- Monoid/
- Natural/
- Optional/
- Text/
- simple/
- alternativesAreTypesA.dhall
- alternativesAreTypesB.dhall
- anonymousFunctionsInTypesA.dhall
- anonymousFunctionsInTypesB.dhall
- fieldsAreTypesA.dhall
- fieldsAreTypesB.dhall
- kindParameterA.dhall
- kindParameterB.dhall
- mergeEquivalenceA.dhall
- mergeEquivalenceB.dhall
- mixedFieldAccessA.dhall
- mixedFieldAccessB.dhall
- unionsOfTypesA.dhall
- unionsOfTypesB.dhall
- access/