| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000383 | mercury | Bug | public | 2015-03-25 13:59 | 2015-03-25 19:53 | ||||
| Reporter | juliensf | ||||||||
| Assigned To | zs | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | resolved | Resolution | fixed | ||||||
| Product Version | |||||||||
| Target Version | Fixed in Version | ||||||||
| Summary | 0000383: Program behaviour changes when trie string switches are used | ||||||||
| Description | The behaviour of the attached program with the attached input differs depending on whether the predicate cadmium_op_table/2 is compiled into a trie string switch or not. | ||||||||
| Steps To Reproduce | $ mmc --make bug $ ./bug < bug.inp yields: error("Syntax error at token \'main\': operator precedence error", 5) $ mmc --no-smart-indexing --make bug $ ./bug < bug.inp yields: term(varset(var_supply(0), empty, empty), functor(atom("transform"), [functor(atom("="), [functor(atom("main"), [], context("<standard input>", 5)), functor(atom("."), [functor(atom("zinc2merc"), [], context("<standard input>", 5)), functor(atom("high_level"), [], context("<standard input>", 5))], context("<standard input>", 5))], context("<standard input>", 5))], context("<standard input>", 5))) The latter is the expected output for this program. | ||||||||
| Additional Information | The problem did not exist in rotd-2015-02-20. It exists in rotd-2015-02-27 onwards. (The change that added trie string switches was committed on 2015-02-24; the next rotd build was 2015-02-27.) | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files | |||||||||
Notes |
|
|
zs (developer) 2015-03-25 19:53 |
Fix committed in commit c1e0499140ec5c38369b0cacb546618f56061ed2. |
Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2015-03-25 13:59 | juliensf | New Issue | |
| 2015-03-25 13:59 | juliensf | File Added: bug.inp | |
| 2015-03-25 14:00 | juliensf | File Deleted: bug.inp | |
| 2015-03-25 14:00 | juliensf | File Added: bug.m | |
| 2015-03-25 14:00 | juliensf | File Added: bug.inp | |
| 2015-03-25 17:39 | zs | Assigned To | => zs |
| 2015-03-25 17:39 | zs | Status | new => assigned |
| 2015-03-25 19:53 | zs | Note Added: 0000820 | |
| 2015-03-25 19:53 | zs | Status | assigned => resolved |
| 2015-03-25 19:53 | zs | Resolution | open => fixed |


