blob: 778fe0febf266149bea39e154562817b02943072 (
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
|
T3651.hs:11:11:
Couldn't match type `Bool' with `()'
Inaccessible code in
a pattern with constructor U :: Z (), in an equation for `unsafe1'
In the pattern: U
In an equation for `unsafe1': unsafe1 B U = ()
T3651.hs:11:15:
Couldn't match type `Bool' with `()'
Expected type: a
Actual type: ()
In the expression: ()
In an equation for `unsafe1': unsafe1 B U = ()
T3651.hs:14:11:
Couldn't match type `Bool' with `()'
Inaccessible code in
a pattern with constructor U :: Z (), in an equation for `unsafe2'
In the pattern: U
In an equation for `unsafe2': unsafe2 B U = ()
T3651.hs:14:15:
Couldn't match type `Bool' with `()'
Expected type: a
Actual type: ()
In the expression: ()
In an equation for `unsafe2': unsafe2 B U = ()
T3651.hs:17:11:
Couldn't match type `Bool' with `()'
Inaccessible code in
a pattern with constructor U :: Z (), in an equation for `unsafe3'
In the pattern: U
In an equation for `unsafe3': unsafe3 B U = True
|