rascal icon indicating copy to clipboard operation
rascal copied to clipboard

de-debug rascal type-checker

Open jurgenvinju opened this issue 2 years ago • 2 comments

Is your feature request related to a problem? Please describe.

The current type-checker prints a lot of debugging information,e.g:

getTPLReadLoc: DOES NOT EXIST

(run mvn clean compile in any Rascal project to see what is going on)

Describe the solution you'd like

Maybe it's time to turn this off such that VScode, Eclipse and the Maven plugin become a bit more quiet. It also has a small effect on run-time efficiency.

jurgenvinju avatar May 15 '23 13:05 jurgenvinju

Maybe we should only print it if in the end it couldn't find a tpl? Since often it just shows where it's looking.

DavyLandman avatar Jun 20 '23 13:06 DavyLandman

Perhaps, but not finding a tpl file is not a failure. That happens all the time as well. I think we have the path searching down to a science now, until we start playing around with target locations again.

jurgenvinju avatar Jun 21 '23 05:06 jurgenvinju