From 1e466a20533d936f44430b1bc18508cd00e5ccd2 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 29 Jan 2020 18:48:19 +0000 Subject: Use TyExpr in Typed --- dhall/tests/type-errors/unit/MergeHandlerFreeVar.txt | 1 - 1 file changed, 1 deletion(-) delete mode 100644 dhall/tests/type-errors/unit/MergeHandlerFreeVar.txt (limited to 'dhall/tests/type-errors/unit/MergeHandlerFreeVar.txt') diff --git a/dhall/tests/type-errors/unit/MergeHandlerFreeVar.txt b/dhall/tests/type-errors/unit/MergeHandlerFreeVar.txt deleted file mode 100644 index de9e256..0000000 --- a/dhall/tests/type-errors/unit/MergeHandlerFreeVar.txt +++ /dev/null @@ -1 +0,0 @@ -Type error: Unhandled error: MergeHandlerReturnTypeMustNotBeDependent -- cgit v1.2.3