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

Total Compilation & Error Soundness #1203

Open

andrew-johnson-4 opened this issue Jan 30, 2025 · 0 comments

Assignees

Owner

andrew-johnson-4 commented Jan 30, 2025

When compiling all programs should either successfully compile or give a reasonable error.

Successful Compilation
Error Message
- clearly communicates the root cause
- provides relevant traces and code snippets to quickly locate the root cause
- puts blame on something OUTSIDE the compiler (a sound compiler may never fail)

andrew-johnson-4 self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment