On 1 April 2015 at 17:38, Matt Oliveri <[email protected]> wrote: > > You mean: > -> = -?r-> > => = -y-> > +> = -n-> > > > What do 'n', 'y' and '?r' stand for? > > 'n' means no call (you need one or more additional arguments to call), > 'y' means yes call ("-y->" is a call arrow), and ?r is a callvar. A > callvar is an abstract y/n; we don't know if there's a call there.
Okay I see. "?r" does not need to be a variable, as you can replace the whole arrow with either -y-> or -n->, thats the way I have dealt with the unification. So perhaps you could have: -m-> for may (may not) call? Then unification is simply expressed in terms of replacing arrows. Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
