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

Exception when importing non-existing file #383

Closed
eponier opened this issue Mar 9, 2023 · 1 comment · Fixed by #733
Closed

Exception when importing non-existing file #383

eponier opened this issue Mar 9, 2023 · 1 comment · Fixed by #733
Assignees
@sarranz

Comments

@eponier
Copy link
Contributor

eponier commented Mar 9, 2023

We do not do any check about the files we import (whether it is a valid path, whether it is a directory, ...). Maybe we can factorize the tests with those about the main input file (cf. CLI_errors.ml).
@eponier
Copy link
Contributor Author

eponier commented Mar 9, 2023

To reproduce:

require "__.jazz"

@sarranz sarranz self-assigned this Jun 15, 2023
@sarranz sarranz mentioned this issue Feb 16, 2024
Merged
@vbgl vbgl closed this as completed in #733 Feb 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sarranz sarranz

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Catch required files that do not exist jasmin-lang/jasmin
2 participants
@sarranz @eponier