On Tue, Feb 17, 2015 at 2:27 AM, Matt Oliveri <[email protected]> wrote: > On Tue, Feb 17, 2015 at 2:18 AM, Keean Schupke <[email protected]> wrote: >> I thought the fn was needed to differentiate from a polymorphic type like >> >> 'm 'a -> 'a >> >> Where m is for example a monad? >> > ... >> >> But this: >> >> fn 'm 'a -> 'a >> >> Seems okay, except you have to disallow any user datatype being called 'fn'. > > Yeah. Maybe that's what Shap was thinking. I just sent an email with > another option to disambiguate this.
Nope, my bad. Geoffrey is right. "fn 'm 'a -> 'a" would still parse as a binary function type. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
