From df0c1879cc3e80537f01e454830cb131ea1e601f Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Mon, 14 Feb 2011 15:12:19 -0500 Subject: [PATCH] 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 --- tests/base_attr_gen.nit | 8 ++++++++ tests/sav/base_attr_gen.sav | 1 + tests/sav/base_attr_gen_alt1.fail | 1 + 3 files changed, 10 insertions(+) create mode 100644 tests/base_attr_gen.nit create mode 100644 tests/sav/base_attr_gen.sav create mode 100644 tests/sav/base_attr_gen_alt1.fail 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) -- 1.7.9.5