blob: e9b214453311e8b59e24e26c0441057a05f28cab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Base1.hs:20:13: error:
• Couldn't match type: a0 -> a0
with: forall a. a -> a
Expected: MEither Sid b
Actual: 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: Maybe (Sid, Sid)
Actual: 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
|
