W3C home > Mailing lists > Public > public-cwm-talk@w3.org > October to December 2009

Re: cwm makes bad proofs out of reverse built-ins [fixed]

From: Dan Connolly <connolly@w3.org>
Date: Wed, 16 Dec 2009 22:39:59 -0600
To: public-cwm-talk <public-cwm-talk@w3.org>
Message-ID: <1261024799.3504.15133.camel@pav.lan>
On Wed, 2009-12-16 at 21:55 -0600, Dan Connolly wrote:
> I found another bug. This time I isolated it to a test case:
[...]
> That's as far as I got; I tried to figure out what unify()
> returns in order to pass it to BecauseBuiltIn, but I got
> lost in the code.

OK, fixed it.

----------------------------
revision 1.100
date: 2009/12/17 04:37:56;  author: connolly;  state: Exp;  lines: +1 -1
fix reverse function proof
----------------------------

The code for ReverseFunction is a copy-and-paste of
the code for Function with the roles reversed, and I found
one place where they weren't reversed.

Ugh... I should have factored out the duplication, but
I guess I'm a little lazy.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Thursday, 17 December 2009 04:40:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:06 UTC