testsuite/tests/patsyn/should_compile/T8584-2.hs


1
2
3
4
5
6
7
8
9
10

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE PatternSynonyms #-}

module ShouldCompile where

pattern Single :: Show a => a -> [a]
pattern Single x = [x]

f :: (Show a) => [a] -> a
f (Single x) = x