Open DavePearce opened 3 years ago
There is a problem reporting errors in TypeChecker. The issue is that, to report an error, we must know the index of the node in question. But, this is not passed through to the handling functions.
TypeChecker
There is a problem reporting errors in
TypeChecker
. The issue is that, to report an error, we must know the index of the node in question. But, this is not passed through to the handling functions.