Namespacing for WARNING/DEPRECATED pragmas
Tracking implementation of the WARNING and DEPRECATED pragma aspects of GHC proposal #65 "Require namespacing fixity declarations for type names and WARNING/DEPRECATED pragmas".
-
Add syntax for {-# WARNING type D "some message" #-}
,{-# WARNING data D "some message" #-}
and similar syntax for theDEPRECATED
pragma. ChangeRenamer
so it will take namespace specifier into consideration. -
Introduce a new warning that fires when a WARNING/DEPRECATED pragma refers to a type-level name without a specifier, and add this warning to -Wcompat
.