[GHC] #8370: Ranked Instances

[GHC]

#8370: Ranked Instances
-------------------------------------+------------------------------------
        Reporter:  wvv               |            Owner:
            Type:  feature request   |           Status:  closed
        Priority:  normal            |        Milestone:
       Component:  Compiler          |          Version:  7.6.3
      Resolution:  invalid           |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by carter):

 Please actually talk with the community via the cafe mailing list and
 #haskell mailing list.  And explicitly ask for feedback there.

 Your current expositions are not understandable by others.

 Please go on the #haskell irc channel on freenode and ask for feed back of
 your type system ideas there.

 You really need to have your ideas exposited off trac, as a starting point
 for feedback.

 Please: take the next few months to dig into learning more type theory and
 how to critically evaluate when a type system is not just valid, but also
 good.

 That no one else is excited about your proposal (or even critiquing)means
 either no one but you understands the proposal, and the parts that are
 understandable seem over complicated and unusually .  Trac is not the
 right fora for learning how to communicate on this matter.

 This ticket is closed.  Please stop posting to trac while taking the next
 few months to learn. If you want to get feedback please use #haskell irc
 on freenode.

 Even then, type system extensions to ghc are only seriously considered
 after you have given a formal exposition (because otherwise what does it
 mean) and perhaps even a candidate patch (or at least a willingness to
 subsequently write such a patch). Everyone is held to this standard for
 any nontrivial changes.

 This ticket is closed. Stop posting to trac for a while and go learn. This
 is your last polite warning.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8370#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler