On Wed, 2007-07-25 at 10:10 -0700, Erick Tryzelaar wrote: > On 7/25/07, skaller <[EMAIL PROTECTED]> wrote: > > On Wed, 2007-07-25 at 03:00 -0700, Erick Tryzelaar wrote: > > > More strangeness. I managed to get the function arrow working with this: > > > > Really?? That's just awesome! > > :) It seems that trying to provide an implementation of a function in > the arrow typeclass isn't working, but implementing it in an instance > seems to work.
Ok, that makes sense.. > > However: > > > > fun first[a, b, c] (f:a->b) => > > > > doesn't specify 'c' in the argument, so it can't be deduced. > > Thus, you must specify c. > > Ah, good point. Is there any way to just supply the missing type? This > didn't work: > > first[int] (the foo); > > With either: > > fun first[a, b, c] (f:a->b) => > fun first[c, a, b] (f:a->b) => I would have thought the second case should work.. -- John Skaller <skaller at users dot sf dot net> Felix, successor to C++: http://felix.sf.net ------------------------------------------------------------------------- This SF.net email is sponsored by: Splunk Inc. Still grepping through log files to find problems? Stop. Now Search log events and configuration files using AJAX and a browser. Download your FREE copy of Splunk now >> http://get.splunk.com/ _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
