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/RemovedBuiltinOptionalBuild.txt | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalBuild.txt (limited to 'dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalBuild.txt') diff --git a/dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalBuild.txt b/dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalBuild.txt new file mode 100644 index 0000000..e4e285c --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/RemovedBuiltinOptionalBuild.txt @@ -0,0 +1,6 @@ +Type error: error: unbound variable ``Optional/build`` + --> :1:1 + | +1 | Optional/build + | ^^^^^^^^^^^^^^ not found in this scope + | -- cgit v1.2.3