Closed Jozott00 closed 2 years ago
That is true, however I don't quite get it because it will fail in the environment. The Scope and Environment are quite similar so why is it in the scope but not in the environment?
This is fixed now. Before calling a constructor we now check if it is a builtin type
Currently one could initialize built in types like
Int()
. This is not checked in typechecker.