remove all initialization/1 in a single swoop.
This commit is contained in:
parent
d1599bca8d
commit
8d93e8f9b9
@ -321,7 +321,8 @@ use_module(M,F,Is) :-
|
|||||||
'$show_consult_level'(Level1),
|
'$show_consult_level'(Level1),
|
||||||
% it will be done after we leave the current consult level.
|
% it will be done after we leave the current consult level.
|
||||||
Level is Level1-1,
|
Level is Level1-1,
|
||||||
recorda('$initialisation',do(Level,G),_),
|
writeln(+Level:G),
|
||||||
|
recordz('$initialisation',do(Level,G),_),
|
||||||
fail.
|
fail.
|
||||||
'$initialization'(_).
|
'$initialization'(_).
|
||||||
|
|
||||||
@ -386,10 +387,13 @@ use_module(M,F,Is) :-
|
|||||||
fail.
|
fail.
|
||||||
'$exec_initialisation_goals' :-
|
'$exec_initialisation_goals' :-
|
||||||
'$show_consult_level'(Level),
|
'$show_consult_level'(Level),
|
||||||
recorded('$initialisation',do(Level,G),R),
|
|
||||||
erase(R),
|
|
||||||
G \= '$',
|
|
||||||
'$current_module'(M),
|
'$current_module'(M),
|
||||||
|
findall(
|
||||||
|
G,
|
||||||
|
(recorded('$initialisation',do(Level,G),R), erase(R), G\='$'),
|
||||||
|
LGs),
|
||||||
|
lists:member(G,LGs),
|
||||||
|
writeln(doing:Level:G),
|
||||||
nb_getval('$system_mode', OldMode),
|
nb_getval('$system_mode', OldMode),
|
||||||
( OldMode == on -> '$exit_system_mode' ; true ),
|
( OldMode == on -> '$exit_system_mode' ; true ),
|
||||||
% run initialization under user control (so allow debugging this stuff).
|
% run initialization under user control (so allow debugging this stuff).
|
||||||
|
Reference in New Issue
Block a user