debugging
This commit is contained in:
parent
af61c886b4
commit
8e3789d92a
@ -436,7 +436,7 @@ load_files(Files,Opts) :-
|
||||
( var(Stream) ->
|
||||
/* need_to_open_file */
|
||||
( '$full_filename'(File, Y, Call) -> true ; '$do_error'(existence_error(source_sink,File),Call) ),
|
||||
( open(Y, read, Stream) -> true ; '$do_error'(permission_error(input,stream,Y),Call) )
|
||||
( open(Y, read, Stream) -> true ; '$do_error'(permission_error(input,stream,Y),Call) )
|
||||
;
|
||||
stream_property(Stream, file_name(Y))
|
||||
), !,
|
||||
@ -511,7 +511,7 @@ loaded, otherwise advertises the user about the existing name clashes
|
||||
are not public remain invisible.
|
||||
|
||||
When the files are not module files, ensure_loaded/1 loads them
|
||||
if they have not been loaded before, and does nothing otherwise.
|
||||
if they have not been loaded before, and does nothing otherwise.
|
||||
|
||||
_F_ must be a list containing the names of the files to load.
|
||||
*/
|
||||
@ -1386,8 +1386,7 @@ initialization(G0,OPT) :-
|
||||
expand_goal(G0, G),
|
||||
catch('$initialization'(G, OPT), Error, '$LoopError'( Error, consult ) ),
|
||||
fail.
|
||||
initialization(_G,_OPT) :-
|
||||
stop_low_level_trace.
|
||||
initialization(_G,_OPT).
|
||||
|
||||
'$initialization'(G,OPT) :-
|
||||
must_be_of_type(callable, G, initialization(G,OPT)),
|
||||
|
Reference in New Issue
Block a user