control what sort of entity a deprecated pragma applies to
Originally reported as part of #3303 (closed).
It's annoying not being able to control whether a type or identically named constructor is being deprecated. Consider:
data Foo = Foo ...This is a very common idiom. But now we want to switch to smart constructors
foo :: ... -> Fooand eventually stop exporting the constructor Foo. But we cannot specify just the constructor, only both. According to the user guide the workaround would be to have a module that imports one but not the other, however while that's possible for the type it's not possible for the constructor.
How about
{-# DEPRECATED constructor Foo "use `foo' instead" #-}and while we're at it, might as well have
{-# DEPRECATED type Foo "..." #-}leaving the unqualified case meaning both as it does now.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.10.4 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |