> We do not have to consider $f an object lookup in this case, right? I have 
> the more general feeling that there might be something wrong in type 
> inference regarding for loops on empty sequences.

Since there is a partial application "?", it definitely cannot be an object 
Your team Zorba Coders is subscribed to branch lp:zorba.

Mailing list: https://launchpad.net/~zorba-coders
Post to     : zorba-coders@lists.launchpad.net
Unsubscribe : https://launchpad.net/~zorba-coders
More help   : https://help.launchpad.net/ListHelp

Reply via email to