Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/c9f5b15b5d8a6cbf86dbcb0e7e5301e0af09acb3 >--------------------------------------------------------------- commit c9f5b15b5d8a6cbf86dbcb0e7e5301e0af09acb3 Author: Simon Peyton Jones <[email protected]> Date: Wed Apr 25 13:06:05 2012 +0100 Test Trac #6005 >--------------------------------------------------------------- tests/th/T6005.hs | 10 ++++++++++ tests/th/all.T | 1 + 2 files changed, 11 insertions(+), 0 deletions(-) diff --git a/tests/th/T6005.hs b/tests/th/T6005.hs new file mode 100644 index 0000000..666aecf --- /dev/null +++ b/tests/th/T6005.hs @@ -0,0 +1,10 @@ +{-# LANGUAGE TemplateHaskell, DataKinds, PolyKinds #-} + +module T6005 where + +$( [d| + data Nat = Zero | Succ Nat + data Proxy a = Proxy + foo :: Proxy 'Zero + foo = foo + |]) diff --git a/tests/th/all.T b/tests/th/all.T index 491bba9..f85ca0d 100644 --- a/tests/th/all.T +++ b/tests/th/all.T @@ -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']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
