blob: 76d5ae2548c1c06c360fefd758e5dd3cd25261c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
<interactive>:9:12: error:
Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
NB: ‘Planet’ is defined at <interactive>:7:1-41
‘Ghci1.Planet’ is defined at <interactive>:4:1-49
In the second argument of ‘(==)’, namely ‘Mercury’
In the expression: mercury == Mercury
In an equation for ‘it’: it = mercury == Mercury
<interactive>:11:10: error:
Couldn't match expected type ‘Planet’
with actual type ‘Ghci1.Planet’
NB: ‘Ghci1.Planet’ is defined at <interactive>:4:1-49
‘Planet’ is defined at <interactive>:7:1-41
In the second argument of ‘(==)’, namely ‘Earth’
In the expression: Venus == Earth
In an equation for ‘it’: it = Venus == Earth
|
