[GHC] #8171: Extending ExtendedDefaultRules
GHC
ghc-devs at haskell.org
Thu Aug 29 07:07:25 UTC 2013
#8171: Extending ExtendedDefaultRules
-------------------------------------+------------------------------------
Reporter: ekmett | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture: Unknown/Multiple
Type of failure: None/Unknown | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets:
-------------------------------------+------------------------------------
Comment (by simonpj):
Fine with me. I just want to advertise that the EDR rules are not a deep
property of type system. They are rather ad-hoc, driven by user need, and
are modularly separated from the rest of type inference. So you are
entirely free to propose different ones!
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8171#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list