Testcase for Coercible and newtype families (#8548)
[ghc.git] / testsuite / tests / typecheck / should_run / TcCoercible.hs
2013-11-22  Joachim BreitnerTestcase for Coercible and newtype families (#8548)
2013-11-22  Joachim BreitnerAdd test cases for Coercing recursive newtypes (#8503)
2013-11-19  Joachim BreitnerTest coercing under under-saturated newtypes
2013-11-19  Joachim BreitnerAdd examples from #8541 to testsuite
2013-09-30  Reid BartonUpdate role annotation syntax in TcCoercible
2013-09-13  Joachim BreitnerTests for the Coercible class