blob: 47492cde3a6b3e1cf44ba94ffca7b283e90010ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
T11010.hs:9:36: error:
• Couldn't match type ‘a1’ with ‘Int’
‘a1’ is a rigid type variable bound by
a pattern with constructor:
Fun :: forall b a. String -> (a -> b) -> Expr a -> Expr b,
in a pattern synonym declaration
at T11010.hs:9:26
Expected type: a -> b
Actual type: a1 -> b
• In the declaration for pattern synonym ‘IntFun’
• Relevant bindings include
x :: Expr a1 (bound at T11010.hs:9:36)
f :: a1 -> b (bound at T11010.hs:9:34)
|
