| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000386 | mercury | Bug | public | 2015-06-29 01:37 | 2015-07-01 01:36 | ||||
| Reporter | juliensf | ||||||||
| Assigned To | juliensf | ||||||||
| Priority | normal | Severity | major | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000386: rotd-2015-03-24 and following broken | ||||||||
| Description | rotd-2015-03-24 and the following rotds break when installing from the source distribution. During the install_grades step, compiling library/array.m to C results in: Uncaught Mercury exception: Software Error: map.lookup: key not found Key Type: term.var(parse_tree.prog_data.prog_var_type) Key Value: var(32) Value Type: ll_backend.var_locn.var_state | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2015-06-29 01:41 |
This has been confirmed on x86_64 Linux (gcc 4.7 and 4.9) and x86_64 Darwin (gcc 4.9). It occurs with both --no-smart-indexing and --smart-indexing. |
|
juliensf (administrator) 2015-06-29 11:05 |
Also, on x86_64 Darwin while building array.c in none.gc (Apple clang 600.0.56). |
|
juliensf (administrator) 2015-06-29 11:46 |
On i686 Darwin systems things are fine. |
|
juliensf (administrator) 2015-06-29 15:25 |
The problem was introduced in commit 6e3e60f. https://github.com/Mercury-Language/mercury/commit/6e3e60fae083d9c216dfa4249fae0f3fee33ebd6 |
|
juliensf (administrator) 2015-07-01 01:36 |
Fix in commit b915b25. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2015-06-29 01:37 | juliensf | New Issue | |
| 2015-06-29 01:41 | juliensf | Note Added: 0000826 | |
| 2015-06-29 11:05 | juliensf | Note Added: 0000827 | |
| 2015-06-29 11:46 | juliensf | Note Added: 0000828 | |
| 2015-06-29 15:25 | juliensf | Note Added: 0000829 | |
| 2015-07-01 01:36 | juliensf | Note Added: 0000830 | |
| 2015-07-01 01:36 | juliensf | Status | new => resolved |
| 2015-07-01 01:36 | juliensf | Resolution | open => fixed |
| 2015-07-01 01:36 | juliensf | Assigned To | => juliensf |
| Issue History |