Skip to content

Conversation

@Alasdair
Copy link
Collaborator

@Alasdair Alasdair commented Nov 19, 2025

Previously we had the --dmagic-hash flag which allowed parsing the hash character in # in identifiers. This was used to mark internal identifiers in such a way that they cannot clash with any identifiers written by the user. The primary use was to re-parse generated code (e.g. which might be produced during rewrite passes) for debugging reasons, like to type-check intermediate rewrites.

However, it was used for some other internal constructs, and worse, was actively suggested in the error message as a way to work around an error that would appear when such internal constructs appeared (which were only intended as intermediates during lowering passes).

This commit renames the flag to --dallow-internal to better reflect all its usages, and the error messages from these constructs now provide no indication there is any way to avoid the error.

@github-actions
Copy link

Test Results

   16 files     36 suites   0s ⏱️
1 006 tests 1 003 ✅  3 💤 0 ❌
4 857 runs  4 815 ✅ 42 💤 0 ❌

Results for commit 047481a.

@Alasdair Alasdair merged commit 4b452f8 into sail2 Nov 20, 2025
17 checks passed
@Alasdair Alasdair deleted the internal_constructs branch November 20, 2025 15:07
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