On 04/11/2011, at 11:17 PM, john skaller wrote:

> Another day another bug .. :)


This particular problem with polymorphic insertions will occur whenever two 
distinct Felix types map to distinct C typedef names for the same type. 

It won't occur with, for example:

type A = "int"
type B = "int";

because Felix automatically prevents generating instances of polymorphic
bodies which are textually identical. But it will occur with:

body "typedef int A; typedef int B;";
type A = "A"; type B = "B";

Ok, so if the user does this it's on their head but the actual problem
case is a result of  compiler generated typedefs, in this case
for void * representing packed constructors. It would probably also occur
for standard uctors for the same reason!


--
john skaller
skal...@users.sourceforge.net





------------------------------------------------------------------------------
RSA(R) Conference 2012
Save $700 by Nov 18
Register now
http://p.sf.net/sfu/rsa-sfdev2dev1
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to