#1145: class instance lost during re-export & packaging
-------------------------------------+--------------------------------------
Reporter: conal | Owner:
Type: merge | Status: new
Priority: normal | Milestone: 6.6.1
Component: Compiler (Type checker) | Version: 6.6
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Changes (by simonpj):
* type: bug => merge
Comment:
Ok I've nailed this one. It was annoyingly tricky; to do with orphan
instances in the presence of functional dependencies.
Ian: pls merge; but if the merge is not straightforward we could simply
leave the fix out of 6.6.1; it's not critical.
I'm working on a test case.
Thanks for reporting this.
Simon
Wed Feb 21 16:30:47 GMT 2007 [EMAIL PROTECTED]
* Deal more correctly with orphan instances
Conal Eliott (Trac #1145) exposed a nasty flaw in the way in which
orphan instances are computed, when there are functional dependencies
in the class. It took me some time to figure out what was going on,
and led to more refactoring.
Briefly:
* Elaborate comments about orphan-hood and versioning added to IfaceSyn
* The is_orph field vanishes from InstEnv.Instance
* Similarly ru_orph vanishes from CoreSyn.CoreRule
* Orphan-hood is computed in MkIface.instanceToIfaceInst, and
MkIface.coreRuleToIfaceRule
Elsewhere just tidying up.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1145>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
