blob: 43e0fbd5db1167c88addd3fc0e300dd6888e4595 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
--Testing deriving in the presence of shadowing
-- Very unsatisfactory error messages
data Planet = Mercury | Venus | Earth deriving Eq
let mercury = Mercury
Venus == Earth
data Planet = Mercury | Venus deriving Eq
Mercury == Mercury
mercury == Mercury
Mercury == Venus
Venus == Earth
Earth == Earth
|
