#5964: Documentation: DatatypeContexts is NOT on by default in 7.4.1
---------------------------------+------------------------------------------
Reporter: dagit | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Documentation | Version: 7.4.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by simonpj):
Oh bother. I suppose they should be on by default. The ''flag'' elicits
the deprecation
{{{
Warning: -XDatatypeContexts is deprecated: It was widely
considered a misfeature, and has been removed from the Haskell
language.
}}}
but that seems to be a lie, since it has not yet been removed.
I'd be happy to emit a deprecation at any ''use'' of a context, along the
lines of
{{{
Warning: contexts on data types are a mis-feature of Haskell,
and may be removed. You might want to remove it now!
}}}
along with enough location/context info to identify what's being referred
to.
Or just add `DatatypeContexts` to the default Haskell 2010 flags, and nuke
the deprecation altogether; it's really not very important, and not worth
burning cycles on.
-- but I suggest we continue to deprecate them. They really are a mis-
feature.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5964#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
