Closed Jean-Luc-Picard-2021 closed 1 month ago
The bug was introduced here 5 months ago when check_pi_list/2 was added?
handle_directive(ensure_loaded, DLst, _) :-
!,
check_pi_list(DLst, f),
warn('ensure_loaded directive not supported - directive ignored', []).
Possibly need to close this ticket anyway, this GitHub seems to be completely dead, just like GNU Prolog. The ticket was opened 12 months ago. It was neither classified by
severity nor otherwise touched by any GNU developer.
In Version 1.4.5 I get:
In Version 1.6.0 I get:
I don't see this behaviour documented:
When such a directive is encountered it is simply ignored. http://www.gprolog.org/manual/gprolog.html#sec59