[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.
(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
More information about the ecl-devel