15 Apr
2005
15 Apr
'05
12:27 a.m.
is it possible to {-# DEPRECATE #-} a single constructor (of a data declaration that is, as a whole, not deprecated)? -- -- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 -- ---- http://www.imn.htwk-leipzig.de/~waldmann/ -------