The implementation of overloaded rules/strategies is incorrect: arguments might have a unqiue name. The problem is illustrated by the default import of list-cons followed by an import. This results in operator a_0 undefined error messages.

Submitted on 21 March 2004 at 21:15

On 11 April 2004 at 17:18 Jira commented:

SSH-4, martin:

Solved, although performance might become very poor after several imports.


On 13 June 2004 at 23:35 Jira commented:

SSH-4, martin:

Solved in rewrite to dynamic rules. Repeated imports might still results in very poor performance. Not sure what to do about that.

Log in to post comments