This program:
—————————-
module foo
imports list

strategies

main =
[2, 3, 1, 4]

match =
map(try(?x@1)); !x
—————————-
Returns the term 2.

This problem is probably very easy to solve, by changing the order of matching the var and term in Var@Term.

s2c.str:
—————————-
TranslateStrat :
Match(As(t1,t2), trm) ->
Compound([],[Match(t1,trm),Match(t2,trm)])
—————————-

Any problems with performing the t2 match before the one for t1?

Submitted on 17 April 2004 at 22:29

STR-51, martin:
Unbinding variables will solve this.