search

erg-lang / erg

A statically typed language compatible with Python
http://erg-lang.org
Apache License 2.0
2.65k stars 55 forks source link

Callable check is not working #298

Closed mtshiba closed 1 year ago

mtshiba commented 1 year ago

Describe the bug?

...

Reproducible code

id x = x
print! id(1) 2

Expected result

A compile error occurs.

Actual result

A runtime error occurs.

Additional context

No response

Erg version

0.6.0-beta.2

Python version

No response

OS

None

mtshiba commented 1 year ago

This code is error, properly.

id(x: Int): Int = x
print! id(1) 2