Skip to content

[asl] Report error codes in error messages - #1978

Merged
hrutvik merged 4 commits into
herd:masterfrom
hrutvik:asl-error-codes
Sep 2, 2026
Merged

hrutvik merged 4 commits into
herd:masterfrom
hrutvik:asl-error-codes

Conversation

@hrutvik

@hrutvik hrutvik commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator
  • Introduce Error.ErrorCode module, defining error codes from the reference
  • Convert Error.errors to error codes where possible, leaving missing cases unspecified. These will need to be handled in future PRs that align the reference document and implementation. A TODO comment captures various discrepancies.
  • Along the way, address a comment from @HadrienRenaud ([aslref] Rework ASL error codes and error reporting #1935 (comment))

@HadrienRenaud HadrienRenaud left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

I have not checked the error-codes but otherwise this looks good to me.

Comment thread asllib/error.ml
@hrutvik
hrutvik marked this pull request as ready for review September 2, 2026 14:33
@Roman-Manevich

Copy link
Copy Markdown
Collaborator

Run python3 doclint.py -cm to update ErrorCodes.tex.

@Roman-Manevich Roman-Manevich left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Looks good. It just needs updating the console outputs in ErrorCodes.tex.

@hrutvik

hrutvik commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator Author

Run python3 doclint.py -cm to update ErrorCodes.tex.

Thanks, fixed - am I right in thinking that #1919 will avoid the need to run this manually?

@hrutvik
hrutvik merged commit 2080f82 into herd:master Sep 2, 2026
5 checks passed
@hrutvik
hrutvik deleted the asl-error-codes branch September 2, 2026 14:58
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.

3 participants