summaryrefslogtreecommitdiff
path: root/testsuite/tests/partial-sigs/should_fail/PatBind3.hs
blob: 23d74e6bfae80fff3e112b7c8ecac9027006067e (plain)
1
2
3
4
5
6
{-# LANGUAGE PartialTypeSignatures #-}
module PatBind3 where

-- Oddly GHC 8.0 accepted this, but it should obviously fail!
foo :: (Bool, _) -> Char
Just foo = Just id