From 78278c804f9d9e10a1e96e4792eba357352eb704 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sat, 13 Aug 2022 20:46:52 -0600 Subject: [PATCH] strip modules from GRBody in phrase/3 (#1565) --- src/lib/dcgs.pl | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index 7435a520..13be7ace 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -20,12 +20,14 @@ phrase(GRBody, S0) :- phrase(GRBody, S0, []). phrase(GRBody, S0, S) :- + strip_module(GRBody, M, GRBody1), ( var(GRBody) -> instantiation_error(phrase/3) - ; dcg_constr(GRBody), - dcg_body(GRBody, S0, S, GRBody1) -> - call(GRBody1) - ; call(GRBody, S0, S) + ; nonvar(GRBody1), + dcg_constr(GRBody1), + dcg_body(GRBody1, S0, S, GRBody2) -> + call(GRBody2) + ; call(M:GRBody1, S0, S) ). -- 2.54.0