testsuite/tests/typecheck/should_compile/tc259.hs


1
2
3
4
5
6
7
8

-- Test we don't get a cycle for "phantom" superclasses
{-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, FlexibleContexts #-}
module TcOK where

class A cls c where
    meth :: cls c => c -> c

class A B c => B c where