From: Jean Privat Date: Mon, 14 Feb 2011 20:12:19 +0000 (-0500) Subject: bug: undetected uninitialized attr because of generic X-Git-Tag: v0.4~6 X-Git-Url: http://nitlanguage.org 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 --- diff --git a/tests/base_attr_gen.nit b/tests/base_attr_gen.nit new file mode 100644 index 0000000..6da20f8 --- /dev/null +++ b/tests/base_attr_gen.nit @@ -0,0 +1,8 @@ +class A[E] + var e: E + init do end +end + +var a = new A[nullable Int]#!alt1# +#alt1#var a = new A[Int] +a.e.output diff --git a/tests/sav/base_attr_gen.sav b/tests/sav/base_attr_gen.sav new file mode 100644 index 0000000..39b4eea --- /dev/null +++ b/tests/sav/base_attr_gen.sav @@ -0,0 +1 @@ +Reciever is null (./base_attr_gen.nit:8) diff --git a/tests/sav/base_attr_gen_alt1.fail b/tests/sav/base_attr_gen_alt1.fail new file mode 100644 index 0000000..f7c333b --- /dev/null +++ b/tests/sav/base_attr_gen_alt1.fail @@ -0,0 +1 @@ +Reciever is null (alt/base_attr_gen_alt1.nit:7)