blob: 29baeee903175d08712a903ec38954eab53c544e (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
-- Test we don't get a cycle for "phantom" superclasses,
-- even if the phantomness is behind a type synonym
{-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, FlexibleContexts #-}
module TcOK where
class A ctxt c where
meth :: ctxt => c -> c
type Bish = B Int
class A Bish c => B c where
|