- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 07 Nov 2006 01:46:38 -0600
- To: Tim Berners-Lee <timbl@w3.org>
- Cc: public-cwm-bugs@w3.org
On Thu, 2006-10-19 at 08:59 -0400, Tim Berners-Lee wrote:
> Yup, looksas though the same param has been given twice in the proof.
query.py was using the same reason for MultipleReverseFunction
and normal ReverseFunction's. I think I fixed it:
--- query.py 24 Aug 2006 17:54:01 -0000 1.76
+++ query.py 7 Nov 2006 07:44:17 -0000 1.77
@@ -1692,13 +1692,16 @@
return []
if result != None:
self.state = S_DONE
- rea=None
- if diag.tracking:
- rea = BecauseBuiltIn(con, result, pred,
obj)
if isinstance(pred,
MultipleReverseFunction):
- return [(Env({subj:(x,None)}), rea) for
x in result]
+ return [(Env({subj:(x,None)}),
+ diag.tracking and \
+ BecauseBuiltIn(con, x, pred,
obj)) \
+ for x in result]
else:
- return [(Env({subj: (result,None)}),
rea)]
+ return [(Env({subj: (result,None)}),
+ diag.tracking and \
+ BecauseBuiltIn(con, result,
pred, obj)+ )]
else:
return []
else:
--
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Tuesday, 7 November 2006 07:46:50 UTC