blob: 29185c8bc46176fd392f6bfff57bb3294cfe6d52 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE ImplicitParams, Rank2Types #-}
-- Rank-2 types with implicit parameters.
-- GHC 5.02 erroneously rejected this
module ShouldCompile where
f :: ((?param :: a) => b) -> a -> b
f foo a = let ?param = a in foo
g :: (?param :: a) => a
g = ?param
h :: a -> a
h = f g
|