Commit 27f97f92 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #3163

parent 6ecb912b
{-# LANGUAGE GADTs, RankNTypes, ImpredicativeTypes #-}
-- Test Trac #3163
module Report where
data Taker a where
Unreached :: Taker (forall s. s)
Illegal polymorphic or qualified type: forall s. s
In the definition of data constructor `Unreached'
In the data type declaration for `Taker'
......@@ -96,3 +96,4 @@ test('T1999a', normal, compile, [''])
test('T2587', normal, compile, [''])
test('T2040', normal, compile, [''])
test('T2151', normal, compile, [''])
test('T3163', 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