On Sat, May 30, 2015 at 1:42 PM, Matt Oliveri <[email protected]> wrote:
> > So, in other words, saying "tc" used as a type means "forall tc 'a => > 'a" was a complete lie, and you're just trying to confuse me. :) > > So, for example, "tc->tc" translates to "forall (tc 'a) (tc 'b) => 'a -> > 'b"? > That doesn't sound like very useful sugar. You're right. Sorry. The potentially useful sugar would be to allow (tc 'a) as a type. It doesn't work nicely for multi-variable relations, but it works fine for single variable relations. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
