diff options
Diffstat (limited to 'dhall/tests/type-inference/failure/unit')
5 files changed, 0 insertions, 5 deletions
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 |