In a strategy override, passing terms to a strategy can trigger a “proceed illegal in this context” error.

Testcase:

override dr-all-keys(|name) =
; mark-rule-use(|name,“x”)
; proceed

However, this works correctly:

override dr-all-keys(|name) =
t := “x”
; mark-rule-use(|name,t)
; proceed

Submitted by Nathan Bruning on 20 September 2010 at 16:53