mirror of
https://github.com/erg-lang/erg.git
synced 2025-12-23 05:36:48 +00:00
10 lines
165 B
Python
10 lines
165 B
Python
p! *x: Int = print! x
|
|
p! 1, 2, "a" # ERR
|
|
|
|
first *x = x[0]
|
|
assert first(1, 2, 3) == "b" # ERR
|
|
|
|
f = (*_: Int) -> None
|
|
f "a", 1, 2
|
|
|
|
_: (Int, Str) -> NoneType = f # ERR
|