Re: [GHC] #7825: Class used as a type parameter typechecks

9 Apr 2013

      #7825: Class used as a type parameter typechecks
---------------------------------+------------------------------------------
    Reporter:  mojojojo          |        Owner:                  
        Type:  bug               |       Status:  closed          
    Priority:  normal            |    Component:  Compiler        
     Version:  7.6.2             |   Resolution:  fixed           
    Keywords:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown    
   Blockedby:                    |     Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------
Changes (by monoidal):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 Thanks for the report. The bug is already fixed in HEAD.

 {{{
     The first argument of ‛Maybe’ should have kind ‛*’,
       but ‛SomeClass a’ has kind ‛Constraint’
     In the type signature for ‛someValue’:
       someValue :: Maybe (SomeClass a)
 }}}

 See also #7697.

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