Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2005-05-05 07:43:28 by simonpj] · 192c9dd5
    Simon Peyton Jones authored
    Make it so that you can deprecate a data constructor.
    Previously {-# DEPRECATED T "no" #-} referred only to the type
    or class T.  Now it refers to the data constructor T as well,
    just like in fixity declarations.  
    
    There's no way to deprecate the data constructor T without also
    deprecating the type T, alas.  Same problem in fixity decls.
    Main problem is coming up with a suitable concrete syntax to do
    so.
    
    We could consider merging this to the STABLE branch.
    
    NB: Sven, the manual fixes are not XML-valideated!  I'm at home.
    192c9dd5