From ac7e39a752c41c06155e27e84404c67c1341065d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:28:48 +0100
Subject: spec!: remove Optional/build and Optional/fold

---
 .../type-inference/failure/unit/RemovedBuiltinOptionalFold.txt      | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalFold.txt

(limited to 'dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalFold.txt')

diff --git a/dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalFold.txt b/dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalFold.txt
new file mode 100644
index 0000000..3d6c6aa
--- /dev/null
+++ b/dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalFold.txt
@@ -0,0 +1,6 @@
+Type error: error: unbound variable ``Optional/fold``
+ --> <current file>:1:1
+  |
+1 | Optional/fold
+  | ^^^^^^^^^^^^^ not found in this scope
+  |
-- 
cgit v1.2.3