Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / patsyn / should_fail / mono.hs
1 {-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-}
2 module ShouldFail where
3
4 pattern Single x = [(x :: Int)]
5
6 f :: [Bool] -> Bool
7 f (Single x) = x