ensure global environment when consulting

This commit is contained in:
Vítor Santos Costa 2013-09-09 22:11:12 +01:00
parent 299816428c
commit fde44acdf3

View File

@ -37,6 +37,8 @@ load_files(Files,Opts) :-
'$process_lf_opts'(Opts,Silent,InfLevel,Expand,Changed,CompilationMode,Imports,Stream,Encoding,SkipUnixComments,CompMode,Reconsult,Files,Call), '$process_lf_opts'(Opts,Silent,InfLevel,Expand,Changed,CompilationMode,Imports,Stream,Encoding,SkipUnixComments,CompMode,Reconsult,Files,Call),
'$check_use_module'(Call,UseModule), '$check_use_module'(Call,UseModule),
'$current_module'(M0), '$current_module'(M0),
% make sure we can run consult
'$init_system',
'$lf'(Files,M0,Call,InfLevel,Expand,Changed,CompilationMode,Imports,Stream,Encoding,SkipUnixComments,CompMode,Reconsult,UseModule), '$lf'(Files,M0,Call,InfLevel,Expand,Changed,CompilationMode,Imports,Stream,Encoding,SkipUnixComments,CompMode,Reconsult,UseModule),
'$close_lf'(Silent). '$close_lf'(Silent).