Commit 79be61ea authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #7272

parent cca9cb11
{-# LANGUAGE PolyKinds #-}
module T7272 where
import T7272a
class C (a :: k)
{-# LANGUAGE PolyKinds #-}
module T7272 where
class C (a :: k)
{-# LANGUAGE PolyKinds #-}
module T7272a where
import {-# SOURCE #-} T7272
......@@ -64,5 +64,7 @@ test('T7151', normal, compile_fail,[''])
test('T7095', normal, compile,[''])
test('T7090', normal, compile,[''])
test('T7176', expect_broken(7176), compile,[''])
test('T7272',
extra_clean(['T7272a.hi', 'T7272a.o']),
multimod_compile,
['T7272.hs', '-v0'])
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