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

Use absolute path in Core Evaluator to generate source file location #1769

Merged
merged 1 commit into from
Jan 26, 2023

Conversation

paulcadman
Copy link
Collaborator

@paulcadman paulcadman commented Jan 25, 2023

Filepaths within a Loc must now be absolute or an error is thrown when mkLoc is called. This Loc is used when displaying errors.

This commit converts the Core evaluator filepath to an absolute path before calling mkLoc.

Before this fix, the Core evaluator would crash if it encountered an error instead of displaying the error if called on a relative path.

Filepaths within a `Loc` must now be absolute or an error is thrown when
`mkLoc` is called. This `Loc` is used when displaying errors.

This commit converts the Core evaluator filepath to an absolute path
before calling `mkLoc`.
@paulcadman paulcadman added fix:bug core Related to JuvixCore labels Jan 25, 2023
@paulcadman paulcadman added this to the 0.3 - Valencia milestone Jan 25, 2023
@paulcadman paulcadman self-assigned this Jan 25, 2023
@paulcadman paulcadman merged commit b5ffa65 into main Jan 26, 2023
@paulcadman paulcadman deleted the evaluator-abs-loc branch January 26, 2023 09:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
core Related to JuvixCore fix:bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants