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


1
2
3
4
5
6
7
8

{-# LANGUAGE PatternSynonyms #-}
module ShouldCompile where

pattern SinglePair :: (a, a) -> [(a, a)]
pattern SinglePair x = [x]

f :: (Show a) => [(a, a)] -> String
f (SinglePair x) = show x