blob: c685a2aaaf9f7297ff56e6472394335046f32cb7 (
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
|
<interactive>:7:4:
Couldn't match expected type `main::Interactive.Planet'
with actual type `Planet'
In the first argument of `pn', namely `Mercury'
In the expression: pn Mercury
In an equation for `it': it = pn Mercury
<interactive>:8:4:
Couldn't match expected type `main::Interactive.Planet'
with actual type `Planet'
In the first argument of `pn', namely `Venus'
In the expression: pn Venus
In an equation for `it': it = pn Venus
<interactive>:9:4:
Couldn't match expected type `main::Interactive.Planet'
with actual type `Planet'
In the first argument of `pn', namely `Mars'
In the expression: pn Mars
In an equation for `it': it = pn Mars
<interactive>:11:44:
Couldn't match expected type `Planet'
with actual type `main::Interactive.Planet'
In the pattern: Earth
In an equation for `pn': pn Earth = "E"
|
