Hugs | 1 Feb 2010 18:27
Favicon

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

#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
(Continue reading)


Gmane