On Mon, Mar 2, 2015 at 7:37 AM, Jonathan S. Shapiro <[email protected]> wrote:
> 6. The additional restriction in BitC is that we disallow partial > applications (in the absence of explicit syntax). The consequence is that > the number of arguments consumed by the application (that is: up to, but > not including, the part of the type in the brackets) must exactly match the > number of actual parameters that are present. > CORRECTION! We disallow partial applications of concrete functions. My intention is that given the function type f :: cfn u v -> (cfn w -> x) the application f a b is perfectly valid, and returns a value of function type. Informally: there must be *some* arrow present in the concrete type such that the collective stuff to the left of that arrow exactly consumes the number of actual parameters present. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
