blob: 7d90a8427694a0d574db6eb47538403a921c905e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE PartialTypeSignatures, NamedWildCards, ScopedTypeVariables #-}
module ScopedNamedWildcardsBad where
-- If named wildcards are properly scoped, this should lead to
-- a constraint (Bool ~ Char)
foo :: _a -> _
foo x = let v = not x
g :: _a -> _a
g x = x
in (g 'x')
|