From 4f6c4443e7f67a36dfc99408ccc6e9ba52c57a4f Mon Sep 17 00:00:00 2001 From: =?utf8?q?Alexis=20Laferri=C3=A8re?= Date: Thu, 15 Feb 2018 11:24:21 -0500 Subject: [PATCH] tests: test the new inferrable attribute types MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Alexis Laferrière --- tests/sav/test_attr_infer_type_alt1.res | 4 ++++ tests/test_attr_infer_type.nit | 30 ++++++++++++++++++++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 tests/sav/test_attr_infer_type_alt1.res create mode 100644 tests/test_attr_infer_type.nit diff --git a/tests/sav/test_attr_infer_type_alt1.res b/tests/sav/test_attr_infer_type_alt1.res new file mode 100644 index 0000000..45ff36c --- /dev/null +++ b/tests/sav/test_attr_infer_type_alt1.res @@ -0,0 +1,4 @@ +alt/test_attr_infer_type_alt1.nit:23,5--6: Type Error: ambiguous array type Int Float String +alt/test_attr_infer_type_alt1.nit:24,5--6: Error: untyped attribute `test_attr_infer_type_alt1$A$a2`. Implicit typing allowed only for literals and new. +alt/test_attr_infer_type_alt1.nit:25,5--6: Error: untyped attribute `test_attr_infer_type_alt1$A$a4`. Implicit typing allowed only for literals and new. +alt/test_attr_infer_type_alt1.nit:27,5--6: Type Error: ambiguous array type Int String diff --git a/tests/test_attr_infer_type.nit b/tests/test_attr_infer_type.nit new file mode 100644 index 0000000..9d638ad --- /dev/null +++ b/tests/test_attr_infer_type.nit @@ -0,0 +1,30 @@ +# 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 collection +import text + +class A + var i0 = 0 + var i1 = -1 + var f = -1.0 + var a0 = [0, 1] +#alt1# var a1 = [0, 1.0, "a"] # Different types +#alt1# var a2 = [0, 1: Int] # Can't reliably check subtypes +#alt1# var a4 = [1+1] # Expression + var o0 = once [0, 2] +#alt1# var o1 = once [0, "a"] # Forwarded error +end + +var a = new A -- 1.7.9.5