Revert "Normalize the element type of ListPat, fix #14547"

This reverts commit 361d23a8ebb44f5df5167306d7b98d8bd1724e06.

2 files changed, 0 insertions, 16 deletions

diff --git a/testsuite/tests/deSugar/should_compile/T14547.hs b/testsuite/tests/deSugar/should_compile/T14547.hs
deleted file mode 100644
index 02ff2e618c..0000000000
--- a/testsuite/tests/deSugar/should_compile/T14547.hs
+++ /dev/null
@@ -1,15 +0,0 @@
-{-# LANGUAGE OverloadedLists #-}
-{-# LANGUAGE TypeFamilies #-}
-
-module T14547 where
-
-class Foo f where
-        type It f
-        foo :: [It f] -> f
-
-data List a = Empty | a :! List a deriving Show
-
-instance Foo (List a) where
-        type It (List a) = a
-        foo [] = Empty
-        foo (x : xs) = x :! foo xs
diff --git a/testsuite/tests/deSugar/should_compile/all.T b/testsuite/tests/deSugar/should_compile/all.T
index 14140737d8..2d361464a6 100644
--- a/testsuite/tests/deSugar/should_compile/all.T
+++ b/testsuite/tests/deSugar/should_compile/all.T
@@ -100,7 +100,6 @@ test('T13290', normal, compile, [''])
 test('T13257', normal, compile, [''])
 test('T13870', normal, compile, [''])
 test('T14135', normal, compile, [''])
-test('T14547', normal, compile, ['-Wincomplete-patterns'])
 test('T14773a', normal, compile, ['-Wincomplete-patterns'])
 test('T14773b', normal, compile, ['-Wincomplete-patterns'])
 test('T14815', [], run_command, ['$MAKE -s --no-print-directory T14815'])