Major patch to add -fwarn-redundant-constraints
[ghc.git] / testsuite / tests / patsyn / should_compile / T8584-2.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE PatternSynonyms #-}
3
4 module ShouldCompile where
5
6 pattern Single :: () => (Show a) => a -> [a]
7 pattern Single x = [x]
8
9 f :: (Show a) => [a] -> a
10 f (Single x) = x