From 2bc12c6f7fe40bf9712353246d9d668df5a40c81 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 6 Aug 2010 12:45:55 -0400 Subject: [PATCH] tests: add base_orelse.nit Commit 33928a213274ee42ea341113c746a064da3f6bf4 added the sav-files without the test file. Signed-off-by: Jean Privat --- tests/base_orelse.nit | 67 ++++++++++++++++++++++++++++++++++++++++ tests/sav/base_orelse_alt1.sav | 2 +- tests/sav/base_orelse_alt2.sav | 2 +- 3 files changed, 69 insertions(+), 2 deletions(-) create mode 100644 tests/base_orelse.nit diff --git a/tests/base_orelse.nit b/tests/base_orelse.nit new file mode 100644 index 0000000..c02495c --- /dev/null +++ b/tests/base_orelse.nit @@ -0,0 +1,67 @@ +# This file is part of NIT ( http://www.nitlanguage.org ). +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. + +import kernel + +class A + readable writable var _i: Int +end + +var a: nullable A = new A(1) +var na: nullable A = null + +var oa: A + +do + var b = a or else new A(2) + b.i.output + oa = b +end + +do + var b = na or else new A(3) + b.i.output + oa = b +end + +do + var b = na or else a + b.i.output + #alt1#oa = b +end + +do + var b = a or else na + b.i.output + #alt2#oa = b +end + +do + var na2 = na + var b = na or else na2 or else new A(4) + b.i.output + oa = b +end + +do + var b = na or else a or else new A(5) + b.i.output + oa = b +end + +do + var b = a or else na or else new A(6) + b.i.output + oa = b +end diff --git a/tests/sav/base_orelse_alt1.sav b/tests/sav/base_orelse_alt1.sav index e6cd403..cfc290e 100644 --- a/tests/sav/base_orelse_alt1.sav +++ b/tests/sav/base_orelse_alt1.sav @@ -1 +1 @@ -alt/base_orelse_alt1.nit:27,7: Type error: expected A, got nullable A +alt/base_orelse_alt1.nit:41,7: Type error: expected A, got nullable A diff --git a/tests/sav/base_orelse_alt2.sav b/tests/sav/base_orelse_alt2.sav index c5f8f17..1e496a8 100644 --- a/tests/sav/base_orelse_alt2.sav +++ b/tests/sav/base_orelse_alt2.sav @@ -1 +1 @@ -alt/base_orelse_alt2.nit:33,7: Type error: expected A, got nullable A +alt/base_orelse_alt2.nit:47,7: Type error: expected A, got nullable A -- 1.7.9.5