#7543: Constraint synonym instances
-----------------------------+----------------------------------------------
Reporter:  monoidal          |          Owner:                  
    Type:  bug               |         Status:  new             
Priority:  normal            |      Component:  Compiler        
 Version:  7.6.1             |       Keywords:                  
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
 Failure:  None/Unknown      |      Blockedby:                  
Blocking:                    |        Related:                  
-----------------------------+----------------------------------------------
 It would be great if GHC could compile:

 {{{
 {-# LANGUAGE ConstraintKinds #-}

 type Ring = Num

 instance Ring [a] where
   (+) = (++)
 }}}

 Currently this gives an error: `(+)` is not a visible method of class
 `Ring`. After removing the last line, the code compiles with warnings
 about missing methods.

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

_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to