summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2019-12-22 18:38:05 +0000
committerNadrieril2019-12-22 18:38:05 +0000
commit54d7e61ad40682ee24e36288980ee4164ea87c34 (patch)
tree29c2fa76d225fee479a748b5dbdca0f9bb8a4acc /dhall/tests
parentfa6de4c077ab4f1c28d2ec64a33a3be8c5a9bb1c (diff)
Update dhall-lang submodule
Diffstat (limited to '')
-rw-r--r--dhall/tests/type-errors/unit/AssertDoubleZeros.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/tests/type-errors/unit/AssertDoubleZeros.txt b/dhall/tests/type-errors/unit/AssertDoubleZeros.txt
new file mode 100644
index 0000000..4b68fea
--- /dev/null
+++ b/dhall/tests/type-errors/unit/AssertDoubleZeros.txt
@@ -0,0 +1 @@
+Type error: Unhandled error