1 Feb 2010 18:27
[Hugs] #98: hugs accepts instance decls with methods that aren't in scope
Hugs <trac <at> galois.com>
2010-02-01 17:27:55 GMT
2010-02-01 17:27:55 GMT
#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)
RSS Feed