From 8b8dc36653878de5556e368bd3e93abf66f839e9 Mon Sep 17 00:00:00 2001 From: Krzysztof Gogolewski Date: Fri, 22 Nov 2019 20:44:51 +0100 Subject: Remove prefix arrow support for GADTs (#17211) This reverts the change in #9096. The specialcasing done for prefix (->) is brittle and does not support VTA, type families, type synonyms etc. --- testsuite/tests/gadt/T9096.hs | 6 ------ testsuite/tests/gadt/all.T | 1 - 2 files changed, 7 deletions(-) delete mode 100644 testsuite/tests/gadt/T9096.hs (limited to 'testsuite/tests/gadt') diff --git a/testsuite/tests/gadt/T9096.hs b/testsuite/tests/gadt/T9096.hs deleted file mode 100644 index d778798d36..0000000000 --- a/testsuite/tests/gadt/T9096.hs +++ /dev/null @@ -1,6 +0,0 @@ -{-# LANGUAGE GADTs #-} - -module T9096 where - -data Foo a where - MkFoo :: (->) a (Foo a) diff --git a/testsuite/tests/gadt/all.T b/testsuite/tests/gadt/all.T index be7177445e..29bde94100 100644 --- a/testsuite/tests/gadt/all.T +++ b/testsuite/tests/gadt/all.T @@ -110,7 +110,6 @@ test('T7294', normal, compile, ['']) test('T7321', [], makefile_test, []) test('T7974', normal, compile, ['']) test('T7558', normal, compile_fail, ['']) -test('T9096', normal, compile, ['']) test('T9380', normal, compile_and_run, ['']) test('T12087', normal, compile_fail, ['']) test('T12468', normal, compile_fail, ['']) -- cgit v1.2.1