path: root/testsuite/tests/patsyn/should_fail/mono.hs

{-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-}
module ShouldFail where

pattern Single x = [(x :: Int)]

f :: [Bool] -> Bool
f (Single x) = x