From f46dd91c208e99bf0eba240d34e976a46888ee4d Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 29 Nov 2018 19:47:44 +0100 Subject: Move inline array tests. --- .../syntaxTests/inline_arrays/dynamic_inline_array.sol | 8 ++++++++ ...line_array_declaration_and_passing_implicit_conversion.sol | 11 +++++++++++ ...ay_declaration_and_passing_implicit_conversion_strings.sol | 10 ++++++++++ .../inline_array_declaration_const_int_conversion.sol | 8 ++++++++ .../inline_array_declaration_const_string_conversion.sol | 8 ++++++++ .../inline_arrays/inline_array_declaration_no_type.sol | 7 +++++++ .../inline_array_declaration_no_type_strings.sol | 7 +++++++ .../syntaxTests/inline_arrays/inline_array_fixed_types.sol | 8 ++++++++ .../syntaxTests/inline_arrays/inline_array_rationals.sol | 8 ++++++++ .../inline_arrays/invalid_types_in_inline_array.sol | 7 +++++++ .../syntaxTests/inline_arrays/lvalues_as_inline_array.sol | 8 ++++++++ ...line_array_declaration_and_passing_implicit_conversion.sol | 11 ----------- ...ay_declaration_and_passing_implicit_conversion_strings.sol | 10 ---------- .../271_inline_array_declaration_const_int_conversion.sol | 8 -------- .../272_inline_array_declaration_const_string_conversion.sol | 8 -------- .../273_inline_array_declaration_no_type.sol | 7 ------- .../274_inline_array_declaration_no_type_strings.sol | 7 ------- .../276_invalid_types_in_inline_array.sol | 7 ------- .../nameAndTypeResolution/277_dynamic_inline_array.sol | 8 -------- .../nameAndTypeResolution/278_lvalues_as_inline_array.sol | 8 -------- .../nameAndTypeResolution/325_inline_array_fixed_types.sol | 8 -------- .../nameAndTypeResolution/326_inline_array_rationals.sol | 8 -------- 22 files changed, 90 insertions(+), 90 deletions(-) create mode 100644 test/libsolidity/syntaxTests/inline_arrays/dynamic_inline_array.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion_strings.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_int_conversion.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_string_conversion.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type_strings.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_fixed_types.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/inline_array_rationals.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/invalid_types_in_inline_array.sol create mode 100644 test/libsolidity/syntaxTests/inline_arrays/lvalues_as_inline_array.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/269_inline_array_declaration_and_passing_implicit_conversion.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/270_inline_array_declaration_and_passing_implicit_conversion_strings.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/271_inline_array_declaration_const_int_conversion.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/272_inline_array_declaration_const_string_conversion.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/273_inline_array_declaration_no_type.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/274_inline_array_declaration_no_type_strings.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/276_invalid_types_in_inline_array.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/277_dynamic_inline_array.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/278_lvalues_as_inline_array.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/325_inline_array_fixed_types.sol delete mode 100644 test/libsolidity/syntaxTests/nameAndTypeResolution/326_inline_array_rationals.sol (limited to 'test') diff --git a/test/libsolidity/syntaxTests/inline_arrays/dynamic_inline_array.sol b/test/libsolidity/syntaxTests/inline_arrays/dynamic_inline_array.sol new file mode 100644 index 00000000..e613758b --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/dynamic_inline_array.sol @@ -0,0 +1,8 @@ +contract C { + function f() public { + uint8[4][4] memory dyn = [[1, 2, 3, 4], [2, 3, 4, 5], [3, 4, 5, 6], [4, 5, 6, 7]]; + } +} +// ---- +// Warning: (47-69): Unused local variable. +// Warning: (17-135): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion.sol new file mode 100644 index 00000000..023404f7 --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion.sol @@ -0,0 +1,11 @@ + contract C { + function f() public returns (uint) { + uint8 x = 7; + uint16 y = 8; + uint32 z = 9; + uint32[3] memory ending = [x, y, z]; + return (ending[1]); + } + } +// ---- +// Warning: (25-229): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion_strings.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion_strings.sol new file mode 100644 index 00000000..025244d3 --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_and_passing_implicit_conversion_strings.sol @@ -0,0 +1,10 @@ +contract C { + function f() public returns (string memory) { + string memory x = "Hello"; + string memory y = "World"; + string[2] memory z = [x, y]; + return (z[0]); + } +} +// ---- +// Warning: (17-198): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_int_conversion.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_int_conversion.sol new file mode 100644 index 00000000..e7036bdf --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_int_conversion.sol @@ -0,0 +1,8 @@ +contract C { + function f() public returns (uint) { + uint8[4] memory z = [1,2,3,5]; + return (z[0]); + } +} +// ---- +// Warning: (17-121): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_string_conversion.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_string_conversion.sol new file mode 100644 index 00000000..4e92f6e1 --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_const_string_conversion.sol @@ -0,0 +1,8 @@ +contract C { + function f() public returns (string memory) { + string[2] memory z = ["Hello", "World"]; + return (z[0]); + } +} +// ---- +// Warning: (17-140): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type.sol new file mode 100644 index 00000000..4d3e6aed --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type.sol @@ -0,0 +1,7 @@ +contract C { + function f() public returns (uint) { + return ([4,5,6][1]); + } +} +// ---- +// Warning: (17-88): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type_strings.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type_strings.sol new file mode 100644 index 00000000..6d36942d --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_declaration_no_type_strings.sol @@ -0,0 +1,7 @@ +contract C { + function f() public returns (string memory) { + return (["foo", "man", "choo"][1]); + } +} +// ---- +// Warning: (17-112): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_fixed_types.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_fixed_types.sol new file mode 100644 index 00000000..c46297c3 --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_fixed_types.sol @@ -0,0 +1,8 @@ +contract test { + function f() public { + fixed[3] memory a = [fixed(3.5), fixed(-4.25), fixed(967.125)]; + } +} +// ---- +// Warning: (50-67): Unused local variable. +// Warning: (20-119): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/inline_array_rationals.sol b/test/libsolidity/syntaxTests/inline_arrays/inline_array_rationals.sol new file mode 100644 index 00000000..bdc3c2c1 --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/inline_array_rationals.sol @@ -0,0 +1,8 @@ +contract test { + function f() public { + ufixed128x3[4] memory a = [ufixed128x3(3.5), 4.125, 2.5, 4.0]; + } +} +// ---- +// Warning: (50-73): Unused local variable. +// Warning: (20-118): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/inline_arrays/invalid_types_in_inline_array.sol b/test/libsolidity/syntaxTests/inline_arrays/invalid_types_in_inline_array.sol new file mode 100644 index 00000000..03d7266a --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/invalid_types_in_inline_array.sol @@ -0,0 +1,7 @@ +contract C { + function f() public { + uint[3] memory x = [45, 'foo', true]; + } +} +// ---- +// TypeError: (66-83): Unable to deduce common type for array elements. diff --git a/test/libsolidity/syntaxTests/inline_arrays/lvalues_as_inline_array.sol b/test/libsolidity/syntaxTests/inline_arrays/lvalues_as_inline_array.sol new file mode 100644 index 00000000..5a39f550 --- /dev/null +++ b/test/libsolidity/syntaxTests/inline_arrays/lvalues_as_inline_array.sol @@ -0,0 +1,8 @@ +contract C { + function f() public { + [1, 2, 3]++; + [1, 2, 3] = [4, 5, 6]; + } +} +// ---- +// TypeError: (47-56): Inline array type cannot be declared as LValue. diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/269_inline_array_declaration_and_passing_implicit_conversion.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/269_inline_array_declaration_and_passing_implicit_conversion.sol deleted file mode 100644 index 023404f7..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/269_inline_array_declaration_and_passing_implicit_conversion.sol +++ /dev/null @@ -1,11 +0,0 @@ - contract C { - function f() public returns (uint) { - uint8 x = 7; - uint16 y = 8; - uint32 z = 9; - uint32[3] memory ending = [x, y, z]; - return (ending[1]); - } - } -// ---- -// Warning: (25-229): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/270_inline_array_declaration_and_passing_implicit_conversion_strings.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/270_inline_array_declaration_and_passing_implicit_conversion_strings.sol deleted file mode 100644 index 025244d3..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/270_inline_array_declaration_and_passing_implicit_conversion_strings.sol +++ /dev/null @@ -1,10 +0,0 @@ -contract C { - function f() public returns (string memory) { - string memory x = "Hello"; - string memory y = "World"; - string[2] memory z = [x, y]; - return (z[0]); - } -} -// ---- -// Warning: (17-198): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/271_inline_array_declaration_const_int_conversion.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/271_inline_array_declaration_const_int_conversion.sol deleted file mode 100644 index e7036bdf..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/271_inline_array_declaration_const_int_conversion.sol +++ /dev/null @@ -1,8 +0,0 @@ -contract C { - function f() public returns (uint) { - uint8[4] memory z = [1,2,3,5]; - return (z[0]); - } -} -// ---- -// Warning: (17-121): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/272_inline_array_declaration_const_string_conversion.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/272_inline_array_declaration_const_string_conversion.sol deleted file mode 100644 index 4e92f6e1..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/272_inline_array_declaration_const_string_conversion.sol +++ /dev/null @@ -1,8 +0,0 @@ -contract C { - function f() public returns (string memory) { - string[2] memory z = ["Hello", "World"]; - return (z[0]); - } -} -// ---- -// Warning: (17-140): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/273_inline_array_declaration_no_type.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/273_inline_array_declaration_no_type.sol deleted file mode 100644 index 4d3e6aed..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/273_inline_array_declaration_no_type.sol +++ /dev/null @@ -1,7 +0,0 @@ -contract C { - function f() public returns (uint) { - return ([4,5,6][1]); - } -} -// ---- -// Warning: (17-88): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/274_inline_array_declaration_no_type_strings.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/274_inline_array_declaration_no_type_strings.sol deleted file mode 100644 index 6d36942d..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/274_inline_array_declaration_no_type_strings.sol +++ /dev/null @@ -1,7 +0,0 @@ -contract C { - function f() public returns (string memory) { - return (["foo", "man", "choo"][1]); - } -} -// ---- -// Warning: (17-112): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/276_invalid_types_in_inline_array.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/276_invalid_types_in_inline_array.sol deleted file mode 100644 index 03d7266a..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/276_invalid_types_in_inline_array.sol +++ /dev/null @@ -1,7 +0,0 @@ -contract C { - function f() public { - uint[3] memory x = [45, 'foo', true]; - } -} -// ---- -// TypeError: (66-83): Unable to deduce common type for array elements. diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/277_dynamic_inline_array.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/277_dynamic_inline_array.sol deleted file mode 100644 index e613758b..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/277_dynamic_inline_array.sol +++ /dev/null @@ -1,8 +0,0 @@ -contract C { - function f() public { - uint8[4][4] memory dyn = [[1, 2, 3, 4], [2, 3, 4, 5], [3, 4, 5, 6], [4, 5, 6, 7]]; - } -} -// ---- -// Warning: (47-69): Unused local variable. -// Warning: (17-135): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/278_lvalues_as_inline_array.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/278_lvalues_as_inline_array.sol deleted file mode 100644 index 5a39f550..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/278_lvalues_as_inline_array.sol +++ /dev/null @@ -1,8 +0,0 @@ -contract C { - function f() public { - [1, 2, 3]++; - [1, 2, 3] = [4, 5, 6]; - } -} -// ---- -// TypeError: (47-56): Inline array type cannot be declared as LValue. diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/325_inline_array_fixed_types.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/325_inline_array_fixed_types.sol deleted file mode 100644 index c46297c3..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/325_inline_array_fixed_types.sol +++ /dev/null @@ -1,8 +0,0 @@ -contract test { - function f() public { - fixed[3] memory a = [fixed(3.5), fixed(-4.25), fixed(967.125)]; - } -} -// ---- -// Warning: (50-67): Unused local variable. -// Warning: (20-119): Function state mutability can be restricted to pure diff --git a/test/libsolidity/syntaxTests/nameAndTypeResolution/326_inline_array_rationals.sol b/test/libsolidity/syntaxTests/nameAndTypeResolution/326_inline_array_rationals.sol deleted file mode 100644 index bdc3c2c1..00000000 --- a/test/libsolidity/syntaxTests/nameAndTypeResolution/326_inline_array_rationals.sol +++ /dev/null @@ -1,8 +0,0 @@ -contract test { - function f() public { - ufixed128x3[4] memory a = [ufixed128x3(3.5), 4.125, 2.5, 4.0]; - } -} -// ---- -// Warning: (50-73): Unused local variable. -// Warning: (20-118): Function state mutability can be restricted to pure -- cgit v1.2.3