blob: 318f89e670c8193eaf20a890511f60927b23f328 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE Haskell2010 #-}
module T11663 where
-- All of these should fail as type signatures are not allowed
-- in patterns without -XScopedTypeVariables.
hello0 = \(h :: Int) -> print h
hello1 (h :: Int) = print h
hello2 = case 54 of (x :: Int) -> print x
hello4 = case Just 54 of Just (x :: Int) -> print x
|
