use-def complains about unbound variables when the term argument of the dyn rule is present, without it runs fine

a =
rules(
d(|g) :
c -> h
where
!c => h ; !g
)

Submitted on 5 July 2005 at 10:12

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