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.

Sign up for GitHub

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

Jump to bottom

[asl] Print ASL errors as CSV #931

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

[asl] Print ASL errors as CSV #931

wants to merge 3 commits into from
+418 −620

Conversation

HadrienRenaud
Copy link
Collaborator

Useful for some analysis of big and very error prone code, outputting errors as CSV is a first step on the way to implement machine readable errors.

@HadrienRenaud HadrienRenaud marked this pull request as ready for review August 7, 2024 14:40
@HadrienRenaud
Copy link
Collaborator Author

Also @maranget the last commit (ba6b3af at the time of writing) implements a memoization on type system for the shared pseudocode.

@HadrienRenaud HadrienRenaud force-pushed the asl-csv-only branch 2 times, most recently from 1d0d947 to 7e2d7d7 Compare August 8, 2024 15:26
@HadrienRenaud
[asl] Print ASL errors as CSV
38cf530
@HadrienRenaud
[asl+herd] Always use the same typed-ast
886acfc
@HadrienRenaud
[ASL] Fix bug global_vars-02
13e587a 
Main typing loop now iterates on static global environments, and not on
global and local static environments.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maranget maranget Awaiting requested review from maranget

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@HadrienRenaud