[GHC] #7854: Constrained method type accepted in Haskell 98 mode

GHC cvs-ghc at haskell.org
Mon Apr 22 07:58:53 CEST 2013


#7854: Constrained method type accepted in Haskell 98 mode
-----------------------------+----------------------------------------------
Reporter:  refold            |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.6.3             |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------

Comment(by refold):

 Interestingly, the example from the manual seems to be always excepted if
 `MultiParamTypeClasses` are enabled:

 {{{
   class Seq s a where
     fromList :: [a] -> s a
     elem     :: Eq a => a -> s a -> Bool
 }}}

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



More information about the ghc-tickets mailing list