blob: 287442641385d0e6e992a75ee4771939720769d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE RankNTypes #-}
-- This program tickled a bug in 5.02.2's forall-lifting
module ShouldCompile where
class Class x where
combinator' :: (forall y. Class y => y -> y) -> x -> x
combinator :: (forall y. Class y => y -> y)
-> (forall x. Class x => x -> x)
combinator f = combinator' f
|