|
|
| 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. |
|---|
|
|
| Attached Files |
|
|---|
Relationships 
Relationships