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

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