On Wed, Apr 1, 2015 at 9:38 AM, Matt Oliveri <[email protected]> wrote:
> On Wed, Apr 1, 2015 at 11:40 AM, Keean Schupke <[email protected]> wrote: > > > > You are right => and *> can be combined into a single arrow, unless you > want > > to omit this rule: > > > > (->) U (*>) = (*>) > > > > If you omit this rule you can prevent functions being called with more > > arguments than they require. But if we are sure we don't ever want to > omit > > this rule they can be combined. > > It seems pretty silly to have a function accept arguments that we're > not allowed to give it, so I think we should leave it out. > I think Keean was trying to develop a general theory first, and then deal with the additional restrictions that BitC imposes as a refinement. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
