Re: [Felix-language] bug with typeclasses and instances?

[john s. <sk...@us...>]

On 23/03/2008, at 10:30 AM, Erick Tryzelaar wrote:

>
> typeclass Value[t] {
>  virtual proc dump: cptr[t] = "$1->dump();";
> }


>
> But shouldn't this be a type error? It's neat that if we have a fully
> implemented typeclass that it works on all types, but here it
> obviously won't work. Didn't we use to have to instantiate a type with
> a typeclass before we could use it?

There were some checks, but they were wrong so I turned them off.