Commit 01fcb7aa authored by Simon Peyton Jones's avatar Simon Peyton Jones

Add RankNTypes flag to tests that should really have it

parent dde0085a
{-# 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
......
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