diff options
author | Nadrieril Feneanar | 2020-03-10 18:34:46 +0000 |
---|---|---|
committer | GitHub | 2020-03-10 18:34:46 +0000 |
commit | 65e8aa46344b9dc32c3ad776856791d18cc616c3 (patch) | |
tree | 3bc3e69e3b9385a9583ba522ddfd9acd9f8961dd /dhall/tests/type-inference/failure | |
parent | 98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (diff) | |
parent | a610f53d794f430a9f57c37d8b88f76a62620506 (diff) |
Merge pull request #142 from Nadrieril/upstream-tests
Upstream local tests
Diffstat (limited to '')
6 files changed, 0 insertions, 6 deletions
diff --git a/dhall/tests/type-inference/failure/SortInLet.dhall b/dhall/tests/type-inference/failure/SortInLet.dhall deleted file mode 100644 index b19b882..0000000 --- a/dhall/tests/type-inference/failure/SortInLet.dhall +++ /dev/null @@ -1 +0,0 @@ -let x = Sort in 0 diff --git a/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.dhall b/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.dhall deleted file mode 100644 index 94b32f9..0000000 --- a/dhall/tests/type-inference/failure/unit/FunctionTypeOutputTypeNotAType.dhall +++ /dev/null @@ -1 +0,0 @@ -Bool -> 1 diff --git a/dhall/tests/type-inference/failure/unit/LetInSort.dhall b/dhall/tests/type-inference/failure/unit/LetInSort.dhall deleted file mode 100644 index 125ab28..0000000 --- a/dhall/tests/type-inference/failure/unit/LetInSort.dhall +++ /dev/null @@ -1 +0,0 @@ -\(x: let x = 0 in Sort) -> 1 diff --git a/dhall/tests/type-inference/failure/unit/MergeBool.dhall b/dhall/tests/type-inference/failure/unit/MergeBool.dhall deleted file mode 100644 index 01e7e3f..0000000 --- a/dhall/tests/type-inference/failure/unit/MergeBool.dhall +++ /dev/null @@ -1 +0,0 @@ -\(x: { True: Natural, False: Natural }) -> merge x True diff --git a/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.dhall b/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.dhall deleted file mode 100644 index 7e5c8ec..0000000 --- a/dhall/tests/type-inference/failure/unit/NestedAnnotInnerWrong.dhall +++ /dev/null @@ -1 +0,0 @@ -(0 : Bool) : Natural diff --git a/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.dhall b/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.dhall deleted file mode 100644 index 67a1526..0000000 --- a/dhall/tests/type-inference/failure/unit/NestedAnnotOuterWrong.dhall +++ /dev/null @@ -1 +0,0 @@ -(0 : Natural) : Bool |