Commit 5695b73d authored by batterseapower's avatar batterseapower
Browse files

Add test for T5581

parent b31e49e5
{-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances, KindSignatures #-}
module TcShouldTerminate where
class C (p :: Constraint)
class D (p :: Constraint)
instance C (D p) => C (D (D p))
......@@ -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, [''])
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