On 10/2/07, skaller <[EMAIL PROTECTED]> wrote:
> On Mon, 2007-10-01 at 22:34 -0700, Erick Tryzelaar wrote:
> > On 10/1/07, skaller <[EMAIL PROTECTED]> wrote:
>
> > I didn't know that that's all you needed to do. Now I think I
> > understand why my "open instance" was wrong. So, since "typeclass
> > Foo[T] { ... } open Foo;" works, should we add support for "open
> > typeclass Foo { ... }"?
>
> open Foo;
>
> doesn't work.
Actually, It did work for me. I also used "open[T] Foo[T]", which
worked as well.
> The first [T] is a universal quantifier: in a function:
>
> fun diag[T] (x:T)=>x,x;
>
> the [T] is misplaced, it should really be
>
> fun[T] diag(x:T)=> x,x;
I thought about changing felix to use that previously. Should we move it?
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
