[Cython] Fused Types

[Stefan Behnel]

Robert Bradshaw, 30.04.2011 08:16:
> On Fri, Apr 29, 2011 at 8:04 AM, mark florisson
>> With the type matching it matches on exactly 'if src_type is
>> dst_type:' so you can't use 'and' and such... perhaps I should turn
>> these expression into a node with the constant value first and then
>> see if the result of the entire expression is known at compile time?
>
> Yes, that's exactly what I was thinking you should do.

For now, you could simply (try to) re-run the ConstantFolding transform 
after the type splitting. It will evaluate constant expressions and also 
drop unreachable branches from conditionals.

Stefan