Passing terms in overridden strategy
In a strategy override, passing terms to a strategy can trigger a “proceed illegal in this context” error.
override dr-all-keys(|name) =
However, this works correctly:
override dr-all-keys(|name) =Submitted by Nathan Bruning on 20 September 2010 at 16:53
t := “x”
Log in to post comments