From 1e50d32aed969e2c7f15ccaa5307ffc7f28e5446 Mon Sep 17 00:00:00 2001 From: vsc Date: Wed, 16 Jun 2004 14:09:34 +0000 Subject: [PATCH] fix bug in coroutining support git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1078 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/corout.yap | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pl/corout.yap b/pl/corout.yap index 28abea61c..97b0a9e91 100644 --- a/pl/corout.yap +++ b/pl/corout.yap @@ -99,6 +99,8 @@ '$call_atts'(V,New) ). +'$call_atts'(V,_) :- + nonvar(V), !. '$call_atts'(V,_) :- '$undefined'(woken_att_do(_,_), attributes), !, attributes:bind_attvar(V). @@ -706,6 +708,7 @@ call_residue(Goal,Residue) :- attributes:update_att(V, 0, G). '$frozen_goals'(V,Gs) :- + var(V), attributes:get_att(V, 0, Gs), nonvar(Gs).