blob: f13b0fc3107aca5654fc2a3f9544353407ba79d4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T9109.hs:8:13: error:
• Couldn't match expected type ‘r’ with actual type ‘Bool’
‘r’ is untouchable
inside the constraints: t ~ Bool
bound by a pattern with constructor: GBool :: G Bool,
in an equation for ‘foo’
at T9109.hs:8:5-9
‘r’ is a rigid type variable bound by
the inferred type of foo :: G t -> r at T9109.hs:8:1
Possible fix: add a type signature for ‘foo’
• In the expression: True
In an equation for ‘foo’: foo GBool = True
• Relevant bindings include foo :: G t -> r (bound at T9109.hs:8:1)
|
