correct bug, dead code in toplevel.pl

This commit is contained in:
Mark Thom
2019-11-22 20:38:03 -07:00
parent 6899f051ac
commit 24ffdc2724

View File

@@ -1,8 +1,8 @@
:- module('$toplevel', ['$repl'/1, consult/1, use_module/1, use_module/2]).
:- use_module(library(lists)). :- use_module(library(lists)).
:- use_module(library(si)). :- use_module(library(si)).
:- module('$toplevel', ['$repl'/1, consult/1, use_module/1, use_module/2]).
'$repl'(ListOfModules) :- '$repl'(ListOfModules) :-
maplist('$use_list_of_modules', ListOfModules), maplist('$use_list_of_modules', ListOfModules),
false. false.
@@ -29,7 +29,8 @@
catch('$$compile_batch', E, '$print_exception_with_check'(E)) catch('$$compile_batch', E, '$print_exception_with_check'(E))
; consult(Item) ; consult(Item)
) )
; catch(throw(error(type_error(atom, Item), repl/0)), ; !,
catch(throw(error(type_error(atom, Item), repl/0)),
E, E,
'$print_exception_with_check'(E)) '$print_exception_with_check'(E))
). ).
@@ -91,8 +92,7 @@
write(' .'), write(' .'),
nl nl
) )
; repeat, ; thread_goals(Goals, ThreadedGoals, (',')),
thread_goals(Goals, ThreadedGoals, (',')),
'$write_eq'(ThreadedGoals, VarList), '$write_eq'(ThreadedGoals, VarList),
'$raw_input_read_char'(C), '$raw_input_read_char'(C),
( C == (';'), !, ( C == (';'), !,