Commit 579c91bc authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #6005

parent 07b041b8
{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds #-}
module T6005 where
$( [d|
data Nat = Zero | Succ Nat
data Proxy a = Proxy
foo :: Proxy 'Zero
foo = foo
......@@ -234,3 +234,4 @@ test('T5555', extra_clean(['T5555_Lib.hi', 'T5555_Lib.o']),
multimod_compile, ['T5555', '-v0'])
test('T5976', normal, compile_fail, ['-v0'])
test('T5795', normal, compile_fail, ['-v0'])
test('T6005', normal, compile, ['-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