On Mon, Sep 28, 2009 at 12:16 AM, john skaller
<skal...@users.sourceforge.net> wrote:
>
> normal Felix polymorphism .. there's nothing to do at all.

Ok got it :) Had to implement a name mangler, but that was pretty simple.

> The front end takes care of it, the code generator always makes
> mono-morphic code. The only exception is the new code that
> handles type variables "under a pointer".
>
> The back end will take a polymorphic body plus instantiation
> map (type variable->type) and make monomorphic code.
>
> MOST of this will be redundant, since the monomorphisation pass
> should monomorphise almost everything (except type variables
> under a pointer).

It doesn't seem to be doing what I expect. Is the monomorphisation
supposed to create lowered functions, where:

proc foo[T] (x:T) { ... }
foo 5;
foo c"bar";

Get's lowered to:

proc foo1 (x:int) { ... }
proc foo2 (x:charp) { ... }

It's not automatically doing it for me with flxc, but I do see it
happening in flxg. Do you know offhand where it's implemented?

------------------------------------------------------------------------------
Come build with us! The BlackBerry&reg; Developer Conference in SF, CA
is the only developer event you need to attend this year. Jumpstart your
developing skills, take BlackBerry mobile applications to market and stay 
ahead of the curve. Join us from November 9&#45;12, 2009. Register now&#33;
http://p.sf.net/sfu/devconf
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to