On 29/09/2009, at 9:41 PM, john skaller wrote:
>
> On 29/09/2009, at 7:18 PM, Erick Tryzelaar wrote:
>>
>> 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?
>
>
> flx_mono.ml I expect. Turn on debugging to see the actual output.
BTW: flx_mono works by first calling flx_inst.
Flx_inst is called *again* before code generation, however there
shouldn't
be anything polymorphic left.
Note typeclasses are handled entirely differently: they're
"instantiated"
left right and centre, especially in flx_inline.
Note that the result of a typeclass instantiation can itself be
polymorphic.
--
john skaller
[email protected]
------------------------------------------------------------------------------
Come build with us! The BlackBerry® 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-12, 2009. Register now!
http://p.sf.net/sfu/devconf
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language
