Mercury Bugs - mercury |
| View Issue Details |
|
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0000272 | mercury | Bug | public | 2013-01-02 16:55 | 2013-01-04 11:51 |
|
| Reporter | pbone | |
|---|
| Assigned To | | |
|---|
| Priority | normal | Severity | major | Reproducibility | always |
|---|
| Status | new | Resolution | open | |
|---|
| Platform | x86_64 | OS | Linux | OS Version | |
|---|
| Product Version | | |
|---|
| Target Version | | Fixed in Version | | |
|---|
|
| Summary | 0000272: The polymorphism pass can generate mode-incorrect code. |
|---|
| Description | When 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 Reproduce | Use the attached testcase.
|
|---|
| Additional Information | I found this bug while trying to create a test case for bug271, they may be related. |
|---|
| Tags | No tags attached. |
|---|
| Relationships | |
| Attached Files |  bug272.m (464) 2013-01-04 11:51
https://bugs.mercurylang.org/file_download.php?file_id=168&type=bug |
|---|