From d4c08951465badaceeb93c7d118d6dda492e4f59 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 20 Jan 2015 11:05:14 +0700 Subject: [PATCH] tests: improve base_attr_init_val_block.nit to test bad returns Signed-off-by: Jean Privat --- tests/base_attr_init_val_block.nit | 2 +- tests/sav/base_attr_init_val_block_alt1.res | 1 + tests/sav/base_attr_init_val_block_alt2.res | 1 + 3 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 tests/sav/base_attr_init_val_block_alt1.res create mode 100644 tests/sav/base_attr_init_val_block_alt2.res diff --git a/tests/base_attr_init_val_block.nit b/tests/base_attr_init_val_block.nit index 6d2badc..fdafa3d 100644 --- a/tests/base_attr_init_val_block.nit +++ b/tests/base_attr_init_val_block.nit @@ -24,7 +24,7 @@ class A 2.output var res = a if res == 10 then res = 20 - return res + return res #alt1# return #alt2# end end diff --git a/tests/sav/base_attr_init_val_block_alt1.res b/tests/sav/base_attr_init_val_block_alt1.res new file mode 100644 index 0000000..e50539b --- /dev/null +++ b/tests/sav/base_attr_init_val_block_alt1.res @@ -0,0 +1 @@ +alt/base_attr_init_val_block_alt1.nit:27,3--8: Error: Return without value in a function. diff --git a/tests/sav/base_attr_init_val_block_alt2.res b/tests/sav/base_attr_init_val_block_alt2.res new file mode 100644 index 0000000..8545480 --- /dev/null +++ b/tests/sav/base_attr_init_val_block_alt2.res @@ -0,0 +1 @@ +alt/base_attr_init_val_block_alt2.nit:23,6: Control error: Reached end of block (a 'return' with a value was expected). -- 1.7.9.5