From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 1 Mar 2021 01:28:12 +0000 (-0700)
Subject: check that Module is an atom before calling Module:goal_expansion/2
X-Git-Tag: v0.9.0~150^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d6e04beb95a6751004dea7d6f8a7ea58dc10ba3d;p=scryer-prolog.git

check that Module is an atom before calling Module:goal_expansion/2
---

diff --git a/src/loader.pl b/src/loader.pl
index e5304812..8a409ce2 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -60,7 +60,8 @@ term_expansion_list([Term|Terms], ExpandedTermsHead, ExpandedTermsTail) :-
 
 
 goal_expansion(Goal, Module, ExpandedGoal) :-
-    (  catch('$call'(Module:goal_expansion(Goal, ExpandedGoal0)),
+    (  atom(Module),
+       catch('$call'(Module:goal_expansion(Goal, ExpandedGoal0)),
              E,
              '$call'(loader:'$print_message_and_fail'(E))) ->
        (  var(ExpandedGoal0) ->