[GHC] #9200: Milner-Mycroft failure at the kind level
GHC
ghc-devs at haskell.org
Mon Jun 16 13:23:53 UTC 2014
#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:
----------------------------------------------+----------------------------
Comment (by goldfire):
Added some comments (delineated with '''Richard:''' ... '''End Richard''')
to the [GhcKinds/KindInference wiki page]. I believe the (PARGEN) option
you describe there agrees with my proposal. I also believe that my
proposed algorithm now (with dolio's changes to Ermine) matches Ermine's.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9200#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list