> The problem is that in things like
  > f a b + f c d
> we do not know how many arguments to "consume" for f until f is typed,
> and we don't have that information at parse time.

Can you explain this more?  Why not interpret "f a b + f c d" exactly as you'd 
interpret "(f a b) + (f c d)"?

Matt



      
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to