syntax: comparing a variable with null makes it evolve to null
authorJean Privat <jean@pryen.org>
Fri, 8 Jan 2010 22:09:04 +0000 (17:09 -0500)
committerJean Privat <jean@pryen.org>
Thu, 14 Jan 2010 16:43:41 +0000 (11:43 -0500)
commit64b3a613bc3ce0ffcce8c31fece76df663d9593d
treec08e84c36432d50cea1dc4a6caeccb8bec72bdb2
parent5c6baf48e4ecde5d80535e9f5bef3ef2a76af6c3
syntax: comparing a variable with null makes it evolve to null

Signed-off-by: Jean Privat <jean@pryen.org>
src/syntax/typing.nit
tests/base_var_type_evolution_null2.nit [new file with mode: 0644]
tests/sav/base_var_null_alt10.sav [new file with mode: 0644]
tests/sav/base_var_null_alt11.sav [new file with mode: 0644]
tests/sav/base_var_null_alt12.sav [new file with mode: 0644]
tests/sav/base_var_null_alt9.sav [new file with mode: 0644]
tests/sav/base_var_type_evolution_null2.sav [new file with mode: 0644]
tests/sav/base_var_type_evolution_null2_alt1.sav [new file with mode: 0644]
tests/sav/base_var_type_evolution_null2_alt2.sav [new file with mode: 0644]