We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
When a module depends on another module defined in another file, ortac fails whereas gospel check succeeds.
ortac
gospel check
I believe the reason is that Ortac_core.Utils.type_check is called with an empty load_path (e.g in ortac_default line 5).
Ortac_core.Utils.type_check
load_path
ortac_default
The text was updated successfully, but these errors were encountered:
No branches or pull requests
When a module depends on another module defined in another file,
ortac
fails whereasgospel check
succeeds.I believe the reason is that
Ortac_core.Utils.type_check
is called with an emptyload_path
(e.g inortac_default
line 5).The text was updated successfully, but these errors were encountered: