mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
7 lines
171 B
Python
7 lines
171 B
Python
for! {"a": 1, "b": 2}.values(), s =>
|
|
print! "key: " + s # ERR
|
|
for! {"a": 1, "b": 2}.keys(), i =>
|
|
print! i + 0 # ERR
|
|
|
|
dic as {Nat: Int} = {1: -1}
|
|
_ = dic[-1] # ERR
|