From afd7bcf5f58f4fe07f41d15728cecb8a42b67a46 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 2 Nov 2020 23:02:02 +0000 Subject: tests: add regression tests for `with` kind inference --- dhall/tests/type-inference/failure/unit/WithInfersKind.dhall | 1 + dhall/tests/type-inference/failure/unit/WithInfersKind.txt | 6 ++++++ 2 files changed, 7 insertions(+) create mode 100644 dhall/tests/type-inference/failure/unit/WithInfersKind.dhall create mode 100644 dhall/tests/type-inference/failure/unit/WithInfersKind.txt (limited to 'dhall/tests/type-inference/failure') diff --git a/dhall/tests/type-inference/failure/unit/WithInfersKind.dhall b/dhall/tests/type-inference/failure/unit/WithInfersKind.dhall new file mode 100644 index 0000000..aeed835 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/WithInfersKind.dhall @@ -0,0 +1 @@ +Some ({=} with x = Bool) diff --git a/dhall/tests/type-inference/failure/unit/WithInfersKind.txt b/dhall/tests/type-inference/failure/unit/WithInfersKind.txt new file mode 100644 index 0000000..1c60eb6 --- /dev/null +++ b/dhall/tests/type-inference/failure/unit/WithInfersKind.txt @@ -0,0 +1,6 @@ +Type error: error: InvalidOptionalType + --> :1:1 + | +1 | Some ({=} with x = Bool) + | ^^^^^^^^^^^^^^^^^^^^^^^^ InvalidOptionalType + | -- cgit v1.2.3