Re: [Felix-language] Inference problem

2011-01-02 Thread john skaller
Hmm .. i don't know how this ever worked .. :) + build/release/bin/flx --output_dir=build/release/test/regress/rt -Ibuild/release/test/regress/rt --test=build/release -c --test=build/release build/release/test/regress/rt/darray-01.flx CLIENT ERROR Instantiate virtual function(2) str<1814>, no i

Re: [Felix-language] Inference problem

2011-01-02 Thread john skaller
On 03/01/2011, at 10:36 AM, john skaller wrote: > > I have now made a change to overload resolution so it tries to find a > function type in the bound symbol table first, before using the unbound symbol > table and then binding the result. > > This is a small performance optimisation, it won't a

Re: [Felix-language] Inference problem

2011-01-02 Thread john skaller
On 03/01/2011, at 1:05 AM, john skaller wrote: > I typed up this little example for a tutorial: > I have now made a change to overload resolution so it tries to find a function type in the bound symbol table first, before using the unbound symbol table and then binding the result. This is a s

[Felix-language] Inference problem

2011-01-02 Thread john skaller
I typed up this little example for a tutorial: / fun catmap[T,N with Str[T]] (sep:string) (f:T -> T) (x:array[T,N]) => fold_left (fun (acc:string) (x:T) => acc+sep+str (f x)) "" x ; var x = 1.0,2.0,2.5,3.0; println$ "The squares of " + str x " are" + catmap " " (fun (x:doub