Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T8044.stderr
1
2 T8044.hs:16:13:
3     Couldn't match type ‘Frob a’ with ‘Char’
4     Expected type: X (Frob a)
5       Actual type: X Char
6     In the expression: XChar
7     In an equation for ‘frob’: frob _ = XChar
8     Relevant bindings include
9       frob :: X a -> X (Frob a) (bound at T8044.hs:15:1)