Deprecated feature section
Thu, 25 Oct 2001 13:12:27 +0200
George Russel proposed a search for things which should be deprecated.
I have a very distinct unfondness for contexts in algebraic data type
declarations. They make absolutely no difference except move type
errors to a different part of a program (or rather, they add type
errors). In that sense they could be said to be quite harmless, but
they dramatically complicate the typing rules for everything involving
algebraic data types, especially when combined with labelled fields.