compile '$atts' and '$project_atts' modules using loader.pl

2023-02-17 19:20:28 -07:00
parent 601ff567e3
commit a6e416f13d
3 changed files with 13 additions and 27 deletions
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -620,7 +620,7 @@ strip_module(Goal, M, G) :-

 strip_subst_module(Goal, M1, M2, G) :-
    '$strip_module'(Goal, M2, G),
-    (  var(M2) ->
+    (  var(M2), \+ functor(Goal, (:), 2) ->
       M2 = M1
    ;  true
    ).