[GHC] #9200: Milner-Mycroft failure at the kind level

[GHC]

#9200: Milner-Mycroft failure at the kind level
----------------------------------------------+----------------------------
        Reporter:  ekmett                     |            Owner:
            Type:  bug                        |           Status:  new
        Priority:  normal                     |        Milestone:
       Component:  Compiler (Type checker)    |          Version:  7.8.2
      Resolution:                             |         Keywords:
Operating System:  Unknown/Multiple           |     Architecture:
 Type of failure:  GHC rejects valid program  |  Unknown/Multiple
       Test Case:                             |       Difficulty:  Unknown
        Blocking:                             |       Blocked By:
                                              |  Related Tickets:
----------------------------------------------+----------------------------
Changes (by simonpj):

 * cc: dimitris@…, sweirich@… (added)


Comment:

 * I have started a [wiki:GhcKinds/KindInference wiki page to record these
 alternative designs].

  * I'm afraid that I do not understand how you distinguish "good" from
 "bad" polymorphism.  Examples are not enough!

  * I'm afraid I do understand Ermine's algorithm.

 Could I ask you to write a section on the wiki page that describes as
 clearly, as you possibly can, the designs you have in mind?  That would
 make sure we are all talking about the same thing.

 By the same token, if you don't understand anything in the designs I have
 described there, please say so and I'll clarify.

 I'm adding Stephanie and Dimitrios in cc

 Simon

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