STR-329: use-def complains about unbound variables
use-def complains about unbound variables when the term argument of the dyn rule is present, without it runs fine
a =
Submitted on 5 July 2005 at 10:12
rules(
d(|g) :
c -> h
where
!c => h ; !g
)
Issue Log
On 5 July 2005 at 10:16 Jira commented:
STR-329, rbvermaa:
i just noticed that dynamic rules should be lifted already at this stage.
Log in to post comments