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.

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

Only write interface to disk if no errors were found #81

Merged
merged 1 commit into from
Feb 2, 2025

Conversation

fwcd
Copy link
Owner

@fwcd fwcd commented Jan 18, 2025

Fixes #80

The issue was we catch errors from the Curry frontend's sequence of checks here:

checked <- catchCYIO $ CMD.checkModule opts loaded

...but keep running ExportCheck's expandExports, which triggers the crash:

-- Parse and check the module
mdl <- loadAndCheckCurryModule opts m fp
-- Generate and store an on-disk interface file
mdl' <- CC.expandExports opts mdl

@fwcd fwcd merged commit b75e67d into main Feb 2, 2025
3 checks passed
@fwcd fwcd deleted the check-errs-before-writing-interface branch February 2, 2025 03:36
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.

Explicitly exporting type from module with errors crashes the frontend
1 participant