Skip to content

Commit

Permalink
leave variable modules uninstantiated (#2685)
Browse files Browse the repository at this point in the history
  • Loading branch information
mthom committed Dec 20, 2024
1 parent 7e22c12 commit 555dff5
Show file tree
Hide file tree
Showing 4 changed files with 224 additions and 165 deletions.
4 changes: 2 additions & 2 deletions src/lib/builtins.pl
Original file line number Diff line number Diff line change
Expand Up @@ -364,7 +364,7 @@

dispatch_prep(Gs, B, Conts) :-
( callable(Gs) ->
strip_module(Gs, M, Gs0),
loader:strip_module(Gs, M, Gs0),
( nonvar(Gs0),
dispatch_prep_(Gs0, B, Conts) ->
true
Expand Down Expand Up @@ -1373,7 +1373,7 @@
( var(Pred) ->
'$get_db_refs'(_, _, _, PIs),
lists:member(Pred, PIs)
; '$strip_module'(Pred, Module, UnqualifiedPred),
; loader:strip_module(Pred, Module, UnqualifiedPred),
( var(Module),
\+ functor(Pred, (:), 2)
; atom(Module)
Expand Down
Loading

0 comments on commit 555dff5

Please sign in to comment.