blob: b3995c336550eee8621d89238e64704e26c0d777 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
<interactive>:1:1:
Arrow command found where an expression was expected:
() >- () -< () >>- () -<< ()
<interactive>:7:15:
Couldn't match expected type ‘()’ with actual type ‘Bool’
In the pattern: True
In a stmt of a pattern guard for
an equation for ‘fun’:
True <- ()
In an equation for ‘fun’: fun foo | True <- () = ()
<interactive>:1:1:
Arrow command found where an expression was expected:
() ↣ () ↢ () ⤜ () ⤛ ()
<interactive>:14:15:
Couldn't match expected type ‘()’ with actual type ‘Bool’
In the pattern: True
In a stmt of a pattern guard for
an equation for ‘fun’:
True ← ()
In an equation for ‘fun’: fun foo | True ← () = ()
<interactive>:1:1:
Arrow command found where an expression was expected:
() >- () -< () >>- () -<< ()
<interactive>:21:15:
Couldn't match expected type ‘()’ with actual type ‘Bool’
In the pattern: True
In a stmt of a pattern guard for
an equation for ‘fun’:
True <- ()
In an equation for ‘fun’: fun foo | True <- () = ()
|
