#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