diff options
| author | Nadrieril | 2020-11-05 23:31:15 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-11-05 23:31:15 +0000 |
| commit | fe9b732d61cfa347fc220887ca27a8439745c82a (patch) | |
| tree | f081d7a684566bbfc9b826b0779a0b3e09a48503 | |
| parent | 2c870c1103b5596eaf936acb793d53b72b025e01 (diff) | |
tests: commit a forgotten output
| -rw-r--r-- | dhall/tests/type-inference/failure/unit/AssertAlphaTrap2.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dhall/tests/type-inference/failure/unit/AssertAlphaTrap2.txt b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap2.txt new file mode 100644 index 0000000..27f67b2 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/AssertAlphaTrap2.txt @@ -0,0 +1,6 @@ +Type error: error: AssertMismatch + --> <current file>:1:15 + | +1 | \(_: Bool) -> assert : (\(_: Bool) -> _) === (\(x: Bool) -> _) + | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ AssertMismatch + | |