more fixes to verbose_load

This commit is contained in:
Vítor Santos Costa 2010-06-14 08:56:05 +01:00
parent 43cc875571
commit dc4557c707
1 changed files with 6 additions and 6 deletions

View File

@ -112,7 +112,7 @@ true :- true.
nb_setval('$debug_jump',off). nb_setval('$debug_jump',off).
'$init_consult' :- '$init_consult' :-
nb_setval('$lf_verbose',informational), set_value('$lf_verbose',informational),
nb_setval('$if_level',0), nb_setval('$if_level',0),
nb_setval('$endif',off), nb_setval('$endif',off),
nb_setval('$consulting_file',[]), nb_setval('$consulting_file',[]),
@ -1044,10 +1044,10 @@ break :-
'$silent_bootstrap'(F) :- '$silent_bootstrap'(F) :-
'$init_globals', '$init_globals',
nb_setval('$if_level',0), nb_setval('$if_level',0),
nb_getval('$lf_verbose',OldSilent), get_value('$lf_verbose',OldSilent),
nb_setval('$lf_verbose',silent), set_value('$lf_verbose',silent),
bootstrap(F), bootstrap(F),
nb_setval('$lf_verbose', OldSilent). set_value('$lf_verbose', OldSilent).
bootstrap(F) :- bootstrap(F) :-
'$open'(F, '$csult', Stream, 0, 0, F), '$open'(F, '$csult', Stream, 0, 0, F),
@ -1057,7 +1057,7 @@ bootstrap(F) :-
getcwd(OldD), getcwd(OldD),
cd(Dir), cd(Dir),
( (
nb_getval('$lf_verbose',silent) get_value('$lf_verbose',silent)
-> ->
true true
; ;
@ -1068,7 +1068,7 @@ bootstrap(F) :-
cd(OldD), cd(OldD),
'$end_consult', '$end_consult',
( (
nb_getval('$lf_verbose',silent) get_value('$lf_verbose',silent)
-> ->
true true
; ;