At 2002-10-29 02:43, Josef Svenningsson wrote: >> I'm pretty sure it's not possible... >> >You mean in H98? Sure no! What I meant was to implement overloading of >function application as an extension of H98.
See my earlier message. If function application is overloadable, then there must be some operator "funapp" that corresponds to it. But operators themselves need function application, so you end up with: f a reduces to funapp f a reduces to funapp (funapp (funapp f)) a reduces to etc. -- Ashley Yakeley, Seattle WA _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
