From ac104aac9cfae36a6a2de6edd95658a6543cd4da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Manuel=20de=20Morais=20Santos=20Costa?= Date: Thu, 14 Jan 2010 15:57:16 +0000 Subject: [PATCH] revert previous commit. --- C/parser.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/C/parser.c b/C/parser.c index ac6c72ed9..7c29f9105 100644 --- a/C/parser.c +++ b/C/parser.c @@ -675,8 +675,9 @@ ParseTerm(int prio, JMPBUFF *FailBuff) } curprio = 1000; continue; - } else if (Unsigned(Yap_tokptr->TokInfo) == '|' && - prio >= 1105 && curprio <= 1104) { + } else if (Unsigned(Yap_tokptr->TokInfo) == '|' && + IsInfixOp(AtomVBar, &opprio, &oplprio, &oprprio) + && opprio <= prio && oplprio >= curprio) { Volatile Term args[2]; NextToken; args[0] = t; @@ -687,7 +688,7 @@ ParseTerm(int prio, JMPBUFF *FailBuff) Yap_ErrorMessage = "Stack Overflow"; FAIL; } - curprio = 1105; + curprio = opprio; continue; } }