[Cython] Fused Types

[Greg Ewing]

Stefan Behnel wrote:
> Meaning, we'd find a new type during type analysis 
> or inference, split off a new version of the function and then analyse 
> it.

I'm not sure that this degree of smartness would really
be a good idea. I'd worry that if I made a type error
somewhere, the compiler would go off and spend a few
hours generating umpteen zillion versions of the code
instead of stopping and telling me something was wrong.

-- 
Greg