[Ecls-list] Type propagator and "bogus" existing code

[Gabriel Dos Reis]

On Sat, Jun 19, 2010 at 10:21 AM, Juan Jose Garcia-Ripoll
<juanjose.garciaripoll at googlemail.com> wrote:

>>
>> The compiler can infer that FOO inside the branch must have type STRING.
>
> Doing this is not as easy as it sounds. Inferring types from conditional
> expressions and branches is not only difficult, but it may also be
> impossible when predicates are combined.

What about:
  (1) do the inference per basic blocks
  (2) if combining types from two branches is impossible to check
       issue a runtime check (based on compilation policy, debug, speed, etc.)
       and issue a note

-- Gaby