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. > I'm not too keen on this because it is neither a prefix nor infix operator, > but something else. It's not a strong objection however. Well lots of things are like that, right? Like "let", "if", and "match". _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
