Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T3592.stderr
1
2 T3592.hs:8:5: error:
3     • No instance for (Show a) arising from a use of ‘show’
4       Possible fix:
5         add (Show a) to the context of
6           the type signature for:
7             f :: T a -> String
8     • In the expression: show
9       In an equation for ‘f’: f = show
10
11 T3592.hs:11:7: error:
12     • No instance for (Show a) arising from a use of ‘show’
13       Possible fix:
14         add (Show a) to the context of
15           the type signature for:
16             g :: T a -> String
17     • In the expression: show x
18       In an equation for ‘g’: g x = show x