-
Notifications
You must be signed in to change notification settings - Fork 9
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
Feature request ensure_loaded/1 [ISO 7.4.2.8] #5
Comments
ensure_loaded/1 is not yet implemented (it has some issues for a native compiler). gprolog proposes the ensure_linked/1 directive which could help you. |
Currently the work around is to use include/1. But include/1 include/1, which is not part of the requirement of include/1.
|
As a side note, Logtalk provides the functionality of the |
Logtalk is not ISO core standard compliant in the way it deals any useful semantic can be made, Logtalk compilation units have But there is a small gap, the standard doesn't elaborate when then is responsible for the sameness:
But a challenge can be to have visited/1 automatically flushed |
Isn't ensure_loaded/1 a directive defined in the ISO core standard [ISO 7.4.2.8].
Currently it seems to be implemented by GNU Prolog as follows:
Wouldn't it be possible to bring ensure_loaded/1 to GNU Prolog. I understand
that it might be difficult, because of the various stages and artefact transformations
involved in GNU Prolog. But maybe a little separate compilation and later linking
would do the job. So that an ensure_loaded/1 directive would spawn a separate
compilation, put the artefact on a list, and at the end of a consult batch all
separate artefacts are linked together or otherwise integrated.
The text was updated successfully, but these errors were encountered: