rascal icon indicating copy to clipboard operation
rascal copied to clipboard

type-checker prints unexpected warning

Open jurgenvinju opened this issue 3 years ago • 2 comments

Describe the bug

While type-checking the standard library, rascal-core prints this warning 8 times:

Skipping (type-incorrect) def: <|file:///Users/jurgenv/git/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Attributes.rsc|(0,2588,<1,0>,<50,78>),"mod2assoc",functionId(),|file:///Users/jurgenv/git/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Attributes.rsc|(2392,117,<49,0>,<49,117>),defTypeCall([|file:///Users/jurgenv/git/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Attributes.rsc|(2392,80,<49,0>,<49,80>)],function(|lib://rascal-core/lang/rascalcore/check/CollectDeclaration.rsc|(12185,1368,<301,38>,<334,14>)),vis=publicVis(),canFail=true)>

This is not blocking anything at the moment.

jurgenvinju avatar Dec 13 '21 11:12 jurgenvinju

note this is the latest version, unreleased, and executed via rascal-maven-plugin

jurgenvinju avatar Dec 13 '21 11:12 jurgenvinju

I am aware of this, ignore it for now. I have to figure out how to avoid this.

PaulKlint avatar Dec 13 '21 11:12 PaulKlint

This was just for debugging purposes, I have removed it. Thanks!

PaulKlint avatar Mar 12 '24 10:03 PaulKlint