cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Allow Mapping keys to have type UserDefinedValueType.

Browse Source 
Also added syntax and semantic test.
This commit is contained in:
hrkrshnn 2021-09-13 10:02:27 +02:00
parent 952540c3b5
commit 1fa6c71bd0
6 changed files with 27 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libsolidity/analysis/DeclarationTypeChecker.cpp
View File

@ -253,12 +253,13 @@ void DeclarationTypeChecker::endVisit(Mapping const& _mapping)
{
case Type::Category::Enum:
case Type::Category::Contract:
case Type::Category::UserDefinedValueType:
break;
default:
m_errorReporter.fatalTypeError(
7804_error,
typeName->location(),
"Only elementary types, contract types or enums are allowed as mapping keys."
"Only elementary types, user defined value types, contract types or enums are allowed as mapping keys."
);
break;
}

18
test/libsolidity/semanticTests/userDefinedValueType/mapping_key.sol Normal file
View File

@ -0,0 +1,18 @@
type MyInt is int;
contract C {
mapping(MyInt => int) public m;
function set(MyInt key, int value) external {
m[key] = value;
}
function set_unwrapped(int key, int value) external {
m[MyInt.wrap(key)] = value;
}
}
// ====
// compileViaYul: also
// ----
// set(int256,int256): 1, 1 ->
// m(int256): 1 -> 1
// set_unwrapped(int256,int256): 1, 2 ->
// m(int256): 1 -> 2
// m(int256): 2 -> 0

2
test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_2.sol
View File

@ -5,4 +5,4 @@ contract c {
mapping(S => uint) data;
}
// ----
// TypeError 7804: (47-48): Only elementary types, contract types or enums are allowed as mapping keys.
// TypeError 7804: (47-48): Only elementary types, user defined value types, contract types or enums are allowed as mapping keys.

2
test/libsolidity/syntaxTests/parsing/mapping_nonelementary_key_3.sol
View File

@ -5,4 +5,4 @@ contract c {
mapping(S => uint) data;
}
// ----
// TypeError 7804: (49-50): Only elementary types, contract types or enums are allowed as mapping keys.
// TypeError 7804: (49-50): Only elementary types, user defined value types, contract types or enums are allowed as mapping keys.

2
test/libsolidity/syntaxTests/types/struct_mapping_recursion.sol
View File

@ -6,4 +6,4 @@ contract C {
function g (S calldata) external view {}
}
// ----
// TypeError 7804: (56-57): Only elementary types, contract types or enums are allowed as mapping keys.
// TypeError 7804: (56-57): Only elementary types, user defined value types, contract types or enums are allowed as mapping keys.

4
test/libsolidity/syntaxTests/userDefinedValueType/mapping_key.sol Normal file
View File

@ -0,0 +1,4 @@
type MyInt is int;
contract C {
mapping(MyInt => int) m;
}