Eelco Visser [2004-04-30 10:38] 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.