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

Gabriel Dos Reis gdr at integrable-solutions.net
Sat Jun 19 15:27:21 UTC 2010

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

More information about the ecl-devel mailing list