From daadb2b174846cda95e51e0c4c94bcb748da4a69 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Sun, 18 Jul 2021 18:22:05 +0000 Subject: Load extra arguments as module files --- repl.pl | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'repl.pl') diff --git a/repl.pl b/repl.pl index a936535..8ecf286 100644 --- a/repl.pl +++ b/repl.pl @@ -12,9 +12,11 @@ repl([ProgName|Args]) :- handle_arg('-d') :- set_prolog_flag(debug, on). handle_arg(Arg) :- - write('Unhandled command line argument: '), - writeq(Arg), - nl. + ( '$load_module_from_file'(Arg) + -> write('Loaded module from file: ') + ; write('Failed to load module from file: ') + ), + write(Arg), nl. handle_args([Arg|Rest]) :- handle_arg(Arg), !, handle_args(Rest). handle_args([]). -- cgit v1.2.3