| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0000362 | mercury | Bug | public | 2014-09-15 15:10 | 2014-09-16 11:10 | ||||||||
| Reporter | juliensf | ||||||||||||
| Assigned To | |||||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||||
| Status | new | Resolution | open | ||||||||||
| Product Version | |||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0000362: Program cause compiler to abort in mmos grades (but not mmsc) | ||||||||||||
| Description | The attached program causes the following abort in the compiler when compiled with: $ mmc --grade asm_fast.gc.mmos Uncaught Mercury exception: Software Error: map.lookup: key not found Key Type: int Key Value: 0 Value Type: hlds.hlds_pred.proc_info Stack dump not available in this grade. The program compiles and works correctly in the mmsc grades. | ||||||||||||
| Additional Information | The test program is similar, but not identical, to that of bug 0000360 and bug 0000361. | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
zs (developer) 2014-09-16 07:23 |
That is not surprising. The mmos grades were never finished. They should not be used by anyone who is not in the process of finishing that implementation :-) They should not even be mentioned in any user-facing documentation. |
|
juliensf (administrator) 2014-09-16 11:10 |
I know they were never finished -- I was recording the test case for the benefit anyone who is working on them. To the test of my knowledge they are *not* mentioned in any user-facing documentation. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2014-09-15 15:10 | juliensf | New Issue | |
| 2014-09-15 15:10 | juliensf | File Added: bug362.m | |
| 2014-09-16 07:23 | zs | Note Added: 0000786 | |
| 2014-09-16 11:10 | juliensf | Note Added: 0000787 | |
| Issue History |