nullable: type, compile and test 'as(not null)'
authorJean Privat <jean@pryen.org>
Fri, 12 Jun 2009 14:59:28 +0000 (10:59 -0400)
committerJean Privat <jean@pryen.org>
Wed, 24 Jun 2009 20:01:53 +0000 (16:01 -0400)
commit57a6c0fb4c7b5f5cfc6999edb04cd4899f380f71
treec4b4f1c5b7aa7b7235fbc92b8f71d6fbeff39d6b
parent6b5551e37c36bba37a42b9f5a8cb475dcb057cff
nullable: type, compile and test 'as(not null)'

Signed-off-by: Jean Privat <jean@pryen.org>
src/compiling/compiling_methods.nit
src/syntax/typing.nit
tests/base_as_notnull.nit [new file with mode: 0644]
tests/sav/base_as_notnull.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt1.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt2.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt3.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt4.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt5.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt6.sav [new file with mode: 0644]
tests/sav/base_as_notnull_alt7.sav [new file with mode: 0644]