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