search

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language
https://scilla-lang.org
GNU General Public License v3.0
241 stars 79 forks source link

Disallow duplicate fields in address types #1208

Closed jjcnn closed 1 year ago

jjcnn commented 1 year ago

We currently allow duplicate fields in address types, which should not be allowed.

This bug appears to have been introduced in v0.10.1 when we changed the representation of address types from lists to maps.

@jubnzv : I think this should be treated as a hotfix, and should therefore go into v0.13.1.