Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fixed out-of-date message on typechecker and removed hard version number references to rascal project #522

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

jurgenvinju
Copy link
Member

@jurgenvinju jurgenvinju commented Nov 18, 2024

The message on the extensions site still contained this old message about the type checker with old references to versions of the rascal project. I propose we release a patch version a.s.a.p. so that the banner makes sense again.

same reason you have to set your use of the `rascal-maven-plugin` to 0.22.1. Until
we release a fix for the type-checker, all rascal projects and library packages on http://www.rascal-mpl.org are released synchronously. Consequently, after you
installed an update, it is immediately necessary to bump your dependencies on `rascal` and `rascal-maven-plugin`.
The Rascal type-checker now has a new binary backward compatibility feature, such that `.tpl` files remain usable
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

maybe we should say the minimum version of rascal/rascal-core?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants