On Wed, Apr 1, 2015 at 8:40 AM, Keean Schupke <[email protected]> wrote:
> On 1 April 2015 at 16:23, Matt Oliveri <[email protected]> wrote: > >> No this is mixed arrow notation. Pretty much exactly. We just switched >> from "=>" to "-y->" later on. There's also "-n->". "->" is abstract, >> and has an elided callvar. An explicit callvar is written like >> "-?r->". >> > > Okay, I am confused, as I don't see any need for additional variables. Are > the 'y', 'n' and '?r' just names. They don't represent numbers or things > yet to be substituted do they? > The ?r is a type variable, which can ultimately resolve to 'n' or 'y'. This is necessary to ensure that id and choose_one behave properly. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
