Skip to content

Fix IDE support for untitled Rascal files - #1248

Merged
DavyLandman merged 2 commits into
mainfrom
fix/rascal-untitled-files
Oct 23, 2026
Merged

DavyLandman merged 2 commits into
mainfrom
fix/rascal-untitled-files

Conversation

@toinehartman

@toinehartman toinehartman commented Oct 23, 2026 •

Copy link
Copy Markdown
Member

Closes #1249

@toinehartman toinehartman self-assigned this Oct 23, 2026
@toinehartman
toinehartman force-pushed the fix/rascal-untitled-files branch from d663826 to 6bff478 Compare October 23, 2026 13:46
@sonarqubecloud

Copy link
Copy Markdown

@toinehartman
toinehartman marked this pull request as ready for review October 23, 2026 16:30
@DavyLandman
DavyLandman merged commit f76a6f5 into main Oct 23, 2026
30 checks passed
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.

Parsing does not work in unsaved/untitled Rascal editors

2 participants