STR-275: lift dynamic rules: lifting goes wrong with dependent rules with scope label
see:
module rob1
imports libstrategies
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) =
Submitted on 14 March 2005 at 12:35
rules(asd : _ -> t)
Issue Log
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