Files
mercury/tests/hard_coded/bug383.exp
Zoltan Somogyi c1e0499140 Fix the fail code for model_non trie string switches.
This was Mantis bug #383.

compiler/ml_string_switch.m:
    For model_non switches in MLDS grades, a failure is indicated by
    a fall through. This can be represented by an empty sequence of
    MLDS statements, but the code that generated string trie switches
    took such an empty sequence to mean that the switch could not fail.
    Fix this incorrect assumption.

tests/hard_coded/bug383.{m,inp,exp}:
    A regression test for the bug.

tests/hard_coded/Mmakefile:
    Enable the new test case.
2015-03-25 19:51:08 +11:00

2 lines
400 B
Plaintext

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)))