blob: cf104b51e9661119a21000fb58eba7e87d0a5e8a (
plain)
1
2
3
4
5
6
7
8
9
10
|
--Testing deriving in the presence of shadowing
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
|
