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. > 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) => ------------------------------------------------------------------------- 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
