nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f10ec30) | patch
bug: undetected uninitialized attr because of generic
authorJean Privat <jean@pryen.org>
Mon, 14 Feb 2011 20:12:19 +0000 (15:12 -0500)
committerJean Privat <jean@pryen.org>
Tue, 15 Feb 2011 18:03:06 +0000 (13:03 -0500)
commitdf0c1879cc3e80537f01e454830cb131ea1e601f
tree79229e975f3efd88239b6b35410b90049bdde679tree | snapshot
parentf10ec3036e7609e73b72bac9e372042e9ea64899commit | diff
bug: undetected uninitialized attr because of generic

in alt1, A[Int]::e is statically typed by Int.
Therefore is should be catched as uninitialized.

Signed-off-by: Jean Privat <jean@pryen.org>
tests/base_attr_gen.nit [new file with mode: 0644] blob
tests/sav/base_attr_gen.sav [new file with mode: 0644] blob
tests/sav/base_attr_gen_alt1.fail [new file with mode: 0644] blob
Nit language project; an oo programing language and its tool suite.