On 21 August 2005 at 21:35 Jira commented:

STR-9, visser:
While this issue should be solved at some point, it should not hold up the new translation scheme. It is unclear how to realize this feature in the compiler, especially when considering assignments to variables in closures. Consider for example,

oncetd(?Foo(x, Bar(y)))

A particular match of the pattern to some subterm may only fail at the match for the subpattern Bar(y), at which point x has already been assigned a value. The choice within oncetd has no knowledge of this variable.

Implementation would require some kind of stack to register assigned variables for each choice point.

(Is this treated correctly in the interpreter?)


On 9 January 2013 at 16:55 Eelco Visser removed tag 0.22

On 9 January 2013 at 16:55 Eelco Visser tagged interesting

Log in to post comments