rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Published 20 hours ago • verified publisher icon usethesource

Type-checker does not support type-variables in regular symbols

Open jurgenvinju opened this issue 2 years ago • 1 comments

Describe the bug

image

and it must be said that the interpreter does not either (see next issue report)

jurgenvinju avatar Jul 13 '23 14:07 jurgenvinju

See #1843

jurgenvinju avatar Jul 13 '23 15:07 jurgenvinju

Thanks for the report. There were some minor glitches but this is now fully supported by the type checker.

PaulKlint avatar Mar 17 '24 16:03 PaulKlint