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 |