Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / partial-sigs / should_fail / NamedWildcardExplicitForall.hs
1 {-# LANGUAGE RankNTypes, NamedWildCards #-}
2
3 -- See #11098
4
5 module NamedWildcardExplicitForall where
6
7 foo :: forall _a . _a -> _a -- _a is a type variable
8 foo = not
9
10 bar :: _a -> _a -- _a is a named wildcard
11 bar = not
12
13 baz :: forall _a . _a -> _b -> (_a, _b) -- _a is a variable, _b is a wildcard
14 baz x y = (not x, not y)
15
16 qux :: _a -> (forall _a . _a -> _a) -> _a -- the _a bound by forall is a tyvar
17 qux x f = let _ = f 7 in not x -- the other _a are wildcards