Repository : ssh://darcs.haskell.org//srv/darcs/testsuite On branch : master
http://hackage.haskell.org/trac/ghc/changeset/fbf4be8429efe36984baebd800c31984272db401 >--------------------------------------------------------------- commit fbf4be8429efe36984baebd800c31984272db401 Author: Max Bolingbroke <[email protected]> Date: Tue Oct 25 10:28:06 2011 +0100 Add test for T5581 >--------------------------------------------------------------- tests/typecheck/should_compile/T5581.hs | 7 +++++++ tests/typecheck/should_compile/all.T | 1 + 2 files changed, 8 insertions(+), 0 deletions(-) diff --git a/tests/typecheck/should_compile/T5581.hs b/tests/typecheck/should_compile/T5581.hs new file mode 100644 index 0000000..3f5eafd --- /dev/null +++ b/tests/typecheck/should_compile/T5581.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances, KindSignatures #-} +module TcShouldTerminate where + +class C (p :: Constraint) +class D (p :: Constraint) + +instance C (D p) => C (D (D p)) diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T index 65113d3..60b7d09 100644 --- a/tests/typecheck/should_compile/all.T +++ b/tests/typecheck/should_compile/all.T @@ -364,3 +364,4 @@ test('T5481', normal, compile_fail, ['']) test('T3743', normal, compile, ['']) test('T5490', normal, compile, ['']) test('T5514', normal, compile, ['']) +test('T5581', normal, compile, ['']) _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
