blob: 97c59c2a876235fee0daf5e7f463576c029e9c6c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
Overlap9.hs:11:7:
Could not deduce (F a ~ Int)
from the context (Show a)
bound by the type signature for g :: Show a => a -> F a
at Overlap9.hs:10:6-23
Relevant bindings include
g :: a -> F a (bound at Overlap9.hs:11:1)
x :: a (bound at Overlap9.hs:11:3)
In the return type of a call of ‛length’
In the expression: length (show x)
In an equation for ‛g’: g x = length (show x)
|