On 30 April 2004 at 12:38 Jira commented:

STR-10, visser:
the bound unbound analysis for the ( -> ) construct was copied from the one for -> , which is not correct since the variables in the lhs are not necessarily unbound; anyway this is determined by the context.

Log in to post comments