Re: [GHC] #9201: GHC unexpectedly refines explicit kind signatures

14 Nov 2014

      #9201: GHC unexpectedly refines explicit kind signatures
-------------------------------------+-------------------------------------
              Reporter:  ekmett      |            Owner:
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Compiler    |          Version:  7.8.2
  (Type checker)                     |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:  GHC         |  Related Tickets:
  accepts invalid program            |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
Changes (by thomie):

 * milestone:   => 7.10.1

Comment:

 With HEAD, the program from the description now shows the following error
 message:

 {{{
 $ ghc-7.9.20141113 T9201.hs
 [1 of 1] Compiling T9201            ( T9201.hs, T9201.o )

 T9201.hs:5:17:
     The first argument of ‘f’ should have kind ‘x1’,
       but ‘a’ has kind ‘y1’
     In the type ‘d a (f a)’
     In the class declaration for ‘MonoidalCCC’
 }}}

 I think this ticket can be closed, once a regression test is added.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9201#comment:3
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler