Traceback (most recent call last):
File "test.er", line -1, in <module>
File "test.er", line -1, in <lambda>
NameError: name '::x__erg_proc__' is not defined. Did you mean: '::p__erg_proc__'?
Additional context
make_proc(p: (Int => Int)): (Int => Int) = (y) => p y
p! = make_proc(x => x)
print! p! 1
works, but this should be an error because p is type of Procedure and ! suffix must be added.
Describe the bug?
...
Reproducible code
Expected result
1
Actual result
Runtime error:
Additional context
works, but this should be an error because p is type of Procedure and
!
suffix must be added.Erg version
0.6.0-beta.2
Python version
No response
OS
None