blob: d33dc1892faf5bbb6577552d711c08188300ec84 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
-- This fails, because the type in the pattern doesn't exactly match
-- the context type. We don't do subsumption in patterns any more.
-- GHC 7.0: now we do again
module Foo where
foo :: (forall c. c -> c) -> [Char]
foo (f :: forall a. [a] -> [a]) = f undefined
|