blob: 75a8e0cfe2f1167ab9e2bbbd631d18523eb86b50 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Base1.hs:20:13: error:
• Couldn't match type ‘a0 -> a0’ with ‘forall a. a -> a’
Expected type: MEither Sid b
Actual type: MEither (a0 -> a0) b
• In the expression: MLeft fid
In an equation for ‘test1’: test1 fid = MLeft fid
Base1.hs:25:39: error:
• Couldn't match type ‘a1 -> a1’ with ‘forall a. a -> a’
Expected type: Maybe (Sid, Sid)
Actual type: Maybe (a1 -> a1, a2 -> a2)
• In the expression: Just (x, y)
In a case alternative: MRight y -> Just (x, y)
In the expression:
case m of
MRight y -> Just (x, y)
_ -> Nothing
|
