nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9a6590) | patch
nitg-s/nitg-e: handles nullable virtual type based on non-nullable virtual types.
authorAlexandre Terrasa <alexandre@moz-code.org>
Thu, 6 Dec 2012 03:46:58 +0000 (22:46 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Thu, 6 Dec 2012 03:46:58 +0000 (22:46 -0500)
commit3a33c71b890e1fe24330fc76c5b0115ca4039299
treed686e28f5a40c0ff293c77afcb7762e6e587dd80tree | snapshot
parenta9a659092eb252e15e1425624a4827388dc2b071commit | diff
nitg-s/nitg-e: handles nullable virtual type based on non-nullable virtual types.

class A
   type T: X
   type U: nullable T
end

U is now correctly considered as a nullable T.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/separate_compiler.nit diff | blob | history
src/separate_erasure_compiler.nit diff | blob | history
tests/base_isa_vt3.nit [new file with mode: 0644] blob
tests/sav/base_isa_vt3.res [new file with mode: 0644] blob
tests/sav/nitc/fixme/base_isa_vt3.res [new file with mode: 0644] blob
tests/sav/nitg-e/base_isa_vt3.res [new file with mode: 0644] blob
Nit language project; an oo programing language and its tool suite.