Fold base.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail217.hs
1 -- Test we can't hide cycles with type synonyms
2 {-# LANGUAGE ConstraintKinds, MultiParamTypeClasses, UndecidableInstances #-}
3 module TcFail where
4
5 type Aish = A
6
7 class cls (Aish cls) => A cls c where