Commit db71e3ed authored by dimitris's avatar dimitris

Merge branch 'master' of http://darcs.haskell.org/testsuite

parents 77af3438 01fcb7aa
{-# LANGUAGE ImplicitParams, UnboxedTuples #-}
{-# LANGUAGE RankNTypes, ImplicitParams, UnboxedTuples #-}
-- Test two slightly exotic things about type signatures
......
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE RankNTypes #-}
-- Types should be checked for well-formedness only after
-- expanding type synonyms. GHC 5.03 fails this
......
{-# LANGUAGE ImplicitParams #-}
{-# LANGUAGE ImplicitParams, RankNTypes #-}
-- Trac #1445
......
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE ScopedTypeVariables, RankNTypes #-}
-- Trac #2714
......
module T5957 where
flex :: Int -> Show a => a -> String
flex i a = show a ++ show i
T5957.hs:3:9:
Illegal polymorphic or qualified type: Show a => a -> String
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `flex':
flex :: Int -> Show a => a -> String
......@@ -271,3 +271,4 @@ test('T5573b', normal, compile_fail, [''])
test('T5689', normal, compile_fail, [''])
test('T5684', normal, compile_fail, [''])
test('T5858', normal, compile_fail, [''])
test('T5957', normal, compile_fail, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment