blob: b2b0c7613bc576cda955df63444c5dc349f38571 (
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
|
<interactive>:9:4:
Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-37
‘Planet’ is defined at <interactive>:8:1-36
In the first argument of ‘pn’, namely ‘Mercury’
In the expression: pn Mercury
<interactive>:10:4:
Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-37
‘Planet’ is defined at <interactive>:8:1-36
In the first argument of ‘pn’, namely ‘Venus’
In the expression: pn Venus
<interactive>:11:4:
Couldn't match expected type ‘Ghci1.Planet’
with actual type ‘Planet’
NB: ‘Ghci1.Planet’ is defined at <interactive>:5:1-37
‘Planet’ is defined at <interactive>:8:1-36
In the first argument of ‘pn’, namely ‘Mars’
In the expression: pn Mars
<interactive>:13:44:
Couldn't match expected type ‘Planet’
with actual type ‘Ghci1.Planet’
NB: ‘Planet’ is defined at <interactive>:8:1-36
‘Ghci1.Planet’ is defined at <interactive>:5:1-37
In the pattern: Earth
In an equation for ‘pn’: pn Earth = "E"
|
