blob: 2b8380fba1b2103b3797ad3c8ff0e36e02477f93 (
plain)
1
2
3
4
5
6
7
8
|
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
|
