blob: 074a2babcd74e90ecd55767204763dcd0898c61d (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE ConstraintKinds, FlexibleContexts, FlexibleInstances, KindSignatures #-}
module TcShouldTerminate where
import GHC.Prim (Constraint)
class C (p :: Constraint)
class D (p :: Constraint)
instance C (D p) => C (D (D p))
|