--Testing data type and constructor shadowing with functions
-- Very unsatisfactory error messages

data Planet = Mercury | Venus | Earth
let pn Mercury = "M" ; pn Venus = "V" ; pn Earth = "E"
pn Mercury
data Planet = Mercury | Venus | Mars
pn Mercury
pn Venus
pn Mars
pn Earth
let pn Mercury = "M" ; pn Venus = "V" ; pn Earth = "E" ; pn Mars = "M"