From 0cf3816c9419954317fd54da5a063615402bf1d1 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 16:58:42 +0000 Subject: Actually load repl.pl with the prolog loader, and handle module directives --- loader.pl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'loader.pl') diff --git a/loader.pl b/loader.pl index 7fa6734..3d94566 100644 --- a/loader.pl +++ b/loader.pl @@ -65,6 +65,10 @@ handle_directive(include(F), Module, NewModule) :- close(S). handle_directive(ensure_loaded(F), Module, Module) :- ensure_load(F). +handle_directive(module(NewModule, Exports), Module, NewModule) :- + is_atom(NewModule), + '$new_empty_module'(NewModule). + % Do something about the exports as well. handle_directive(D, Module, Module) :- write('Cannot handle directive: '), write(D), @@ -75,5 +79,5 @@ ensure_loads(_) :- fail. ensure_load(F) :- ( ensure_loads(F) -> true - ; asserta(ensure_loads(F)), load_module_from_file(F) + ; loader:asserta(ensure_loads(F)), load_module_from_file(F) ). -- cgit v1.2.3