[Hugs] #98: hugs accepts instance decls with methods that aren't in scope

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[Hugs] #98: hugs accepts instance decls with methods that aren't in scope

GHC-2
#98: hugs accepts instance decls with methods that aren't in scope
--------------------+-------------------------------------------------------
 Reporter:  guest   |       Owner:  nobody
     Type:  defect  |      Status:  new  
 Priority:  minor   |   Milestone:        
Component:  hugs    |     Version:  200609
 Keywords:          |  
--------------------+-------------------------------------------------------
 hugs (September 2006) accepts these modules:
 {{{
 module Q (Class) where

 class Class a where
     method :: a
 }}}

 {{{
 module W where

 import Q

 instance Class Int where
     method = 6
 }}}

 but the report says:
 {{{
 4.3.2  Instance Declarations
 [...]
 It is illegal to give a binding for a class method that is not in scope
 }}}

 Ian Lynagh

--
Ticket URL: <http://hackage.haskell.org/trac/hugs/ticket/98>
Hugs <http://www.haskell.org/hugs/>
Hugs 98, an interpreter for Haskell
_______________________________________________
Hugs-Bugs mailing list
[hidden email]
http://www.haskell.org/mailman/listinfo/hugs-bugs