CI: Always dump performance metrics.
[ghc.git] / testsuite / tests / typecheck / should_compile / tc260.hs
1 -- Test we don't get a cycle for "phantom" superclasses,
2 -- even if the phantomness is behind a type synonym
3 {-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, FlexibleContexts #-}
4 {-# LANGUAGE AllowAmbiguousTypes #-}
5 -- 'meth' is ambiguous
6
7 module TcOK where
8
9 class A ctxt c where
10 meth :: ctxt => c -> c
11
12 type Bish = B Int
13
14 class A Bish c => B c where