Mercury Bugs - mercury
View Issue Details
0000272mercuryBugpublic2013-01-02 16:552013-01-04 11:51
Assigned To 
Platformx86_64OSLinuxOS Version
Product Version 
Target VersionFixed in Version 
Summary0000272: The polymorphism pass can generate mode-incorrect code.
DescriptionWhen used with typeclasses and existential types it is possible that the polymorphism pass can create code that does not properly instantiate the typeclass variables.
Steps To ReproduceUse the attached testcase.
Additional InformationI found this bug while trying to create a test case for bug271, they may be related.
TagsNo tags attached.
Attached Files? bug272.m (464) 2013-01-04 11:51

There are no notes attached to this issue.

Issue History
2013-01-02 16:55pboneNew Issue
2013-01-02 16:55pboneFile Added: bug271.m
2013-01-04 11:51pboneFile Deleted: bug271.m
2013-01-04 11:51pboneFile Added: bug272.m