diff options
| author | Nadrieril | 2020-11-05 00:05:01 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-11-05 00:05:01 +0000 |
| commit | 442fd7517362ca4f8057699bc325af417fb7c6de (patch) | |
| tree | 8b5dc55ee4b685615cdcf13321f6aab73914061d | |
| parent | 51b40c6e36a0aad28ffb44debf84cba4c7028680 (diff) | |
test: commit a forgotten file
| -rw-r--r-- | dhall/tests/type-inference/failure/unit/IfBranchesNotTermTypeOrKind.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dhall/tests/type-inference/failure/unit/IfBranchesNotTermTypeOrKind.txt b/dhall/tests/type-inference/failure/unit/IfBranchesNotTermTypeOrKind.txt new file mode 100644 index 0000000..8b46d1f --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/IfBranchesNotTermTypeOrKind.txt @@ -0,0 +1,6 @@ +Type error: error: IfBranchMustBeTerm + --> <current file>:1:1 + | +1 | if True then Kind else Kind + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ IfBranchMustBeTerm + | |