diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-05-08 10:07:53 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-05-08 10:50:38 -0400 |
commit | 280de0c19682fb1b0941cad94f9219b513a6d3e2 (patch) | |
tree | ff246ce99e299fb7fffce59bce325a4f55d108d1 /testsuite/tests/deSugar | |
parent | 37acca7ecea6a7365a52ec92f864f25fa179095a (diff) | |
download | haskell-280de0c19682fb1b0941cad94f9219b513a6d3e2.tar.gz |
Revert "Normalize the element type of ListPat, fix #14547"
This reverts commit 361d23a8ebb44f5df5167306d7b98d8bd1724e06.
Diffstat (limited to 'testsuite/tests/deSugar')
-rw-r--r-- | testsuite/tests/deSugar/should_compile/T14547.hs | 15 | ||||
-rw-r--r-- | testsuite/tests/deSugar/should_compile/all.T | 1 |
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']) |