diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T3102.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T3102.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T3102.hs b/testsuite/tests/typecheck/should_fail/T3102.hs index dd5abb25e1..910ac06ee9 100644 --- a/testsuite/tests/typecheck/should_fail/T3102.hs +++ b/testsuite/tests/typecheck/should_fail/T3102.hs @@ -1,5 +1,5 @@ {-# OPTIONS -XImplicitParams -XRankNTypes #-} - module Bug where +module Bug where t :: forall a. ((?p :: Int) => a) -> String t _ = "Hello" @@ -10,3 +10,7 @@ f _ = 3 result :: Int result = f t + +-- This should work. +-- Elaborated result = f (/\a. \x:a. t @a (\p::Int. x)) +-- But it did not work in 8.0.1; fixed in HEAD |