Add consult that works with streams / strings in library use-case

2023-07-27 11:41:52 +02:00
parent 9fd6e18d59
commit 2f99bb025c
3 changed files with 83 additions and 8 deletions
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -562,7 +562,10 @@ use_module(Module, Exports, Evacuable) :-
       )
    ).

-
+consult_stream(Stream, PathFileName) :-
+   '$push_load_state_payload'(Evacuable),
+    file_load(Stream, PathFileName, Subevacuable),
+    '$use_module'(Evacuable, Subevacuable, _).

 check_predicate_property(meta_predicate, Module, Name, Arity, MetaPredicateTerm) :-
    '$meta_predicate_property'(Module, Name, Arity, MetaPredicateTerm).