| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0000025 | mercury | Bug | public | 2007-11-01 14:24 | 2007-11-01 14:29 | ||||||||
| Reporter | petdr | ||||||||||||
| Assigned To | |||||||||||||
| Priority | high | Severity | crash | Reproducibility | always | ||||||||
| Status | confirmed | Resolution | open | ||||||||||
| Product Version | |||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0000025: tabling of predicates with type class constraints causes an internal compiler error | ||||||||||||
| Description | $ mmc --make table_tc Making Mercury/int3s/table_tc.int3 Making Mercury/ints/table_tc.int Making Mercury/cs/table_tc.c Uncaught Mercury exception: Software Error: table_gen.m: Unexpected: gen_lookup_call_for_type: typeclass_info_type Stack dump not available in this grade. ** Error making `Mercury/cs/table_tc.c'. | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2007-11-01 14:29 |
This is a known problem. Basically, tabling of predicates with type class constraints will not work until we change the compiler not to pack type_infos into typeclass_infos. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2007-11-01 14:24 |
|
New Issue | |
| 2007-11-01 14:24 |
|
File Added: table_tc.m | |
| 2007-11-01 14:29 | juliensf | Note Added: 0000046 | |
| 2007-11-01 14:29 | juliensf | Status | new => confirmed |
| Issue History |