nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58623ce) | patch
syntax: while/loop exit type evolution
authorJean Privat <jean@pryen.org>
Tue, 12 Jan 2010 20:31:56 +0000 (15:31 -0500)
committerJean Privat <jean@pryen.org>
Thu, 14 Jan 2010 16:43:42 +0000 (11:43 -0500)
commit1dbbbc5fe1b539ecd13dfd0ed7cf9d187b45a912
tree7b10453904cdbfcffd785d9cf8e691df71a3367etree | snapshot
parent58623cea4287a27fe98c7dd6cbb6fbf65db2c366commit | diff
syntax: while/loop exit type evolution

Implementation requires that variable contexts on breaks are collected
and merged.

Signed-off-by: Jean Privat <jean@pryen.org>
src/syntax/control_flow.nit diff | blob | history
src/syntax/escape.nit diff | blob | history
src/syntax/typing.nit diff | blob | history
tests/base_var_type_evolution_null4.nit [new file with mode: 0644] blob
tests/sav/base_isa_cast2_alt8.sav diff | blob | history
tests/sav/base_var_type_evolution_null4.sav [new file with mode: 0644] blob
tests/sav/base_var_type_evolution_null4_alt1.sav [new file with mode: 0644] blob
tests/sav/base_var_type_evolution_null4_alt2.sav [new file with mode: 0644] blob
tests/sav/base_var_type_evolution_null4_alt3.sav [new file with mode: 0644] blob
Nit language project; an oo programing language and its tool suite.