see:

module rob1
imports lib

strategies

main = asd123(|1) ; asd321(|1) ; asd111(|1)

asd123(|t) =
?a
; rules( asd+a : _ -> t depends on [])

asd321(|t) =
?a
; rules( asd1+a : _ -> t )

asd111(|t) =
rules(asd : _ -> t)

Submitted on 14 March 2005 at 12:35

On 24 July 2005 at 23:10 Jira commented:

STR-275, visser:
Fixed by means of a simple rewrite rule.

Log in to post comments