path: root/testsuite/tests/partial-sigs/should_compile/PatternSig.hs

{-# LANGUAGE PartialTypeSignatures, ScopedTypeVariables #-}
module PatternSig where

bar :: Bool -> Bool
bar (x :: _) = True