Mercury Bugs - mercury | |||||
| View Issue Details | |||||
| 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 | ||
| Platform | OS | OS Version | |||
| 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. | ||||
| Relationships | |||||
| Attached Files |  bug.m (7,737) 2015-03-25 14:00https://bugs.mercurylang.org/file_download.php?file_id=241&type=bug bug.inp (435) 2015-03-25 14:00https://bugs.mercurylang.org/file_download.php?file_id=242&type=bug | ||||
| Notes | |||||
|
|
|||||
|
|
||||
| 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 | ||