Fold ghc-prim.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T3592.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module T3592 where
4
5 type T a = Show a => a
6
7 f :: T a -> String
8 f = show
9
10 g :: T a -> String
11 g x = show x
12