Commit 27fe87a0 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #3095

parent 51504db7
{-# LANGUAGE KindSignatures #-}
-- Trac #3095
module T3095 where
class Bla (forall x . x :: *) where
T3095.hs:5:10: Kind signature only allowed for type variables
......@@ -52,3 +52,4 @@ test('read042', normal, compile_fail, [''])
test('read043', normal, compile_fail, [''])
test('read044', normal, compile_fail, [''])
test('read045', if_compiler_lt('ghc', '6.11', skip), compile_fail, [''])
test('T3095', 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