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: Tim Berners-Lee <timbl@w3.org>
Date: Thu, 17 Dec 2009 18:04:04 -0500
Cc: public-cwm-talk <public-cwm-talk@w3.org>
Message-Id: <20B5C261-3979-49A6-87F5-79B0301215F6@w3.org>
To: Dan Connolly <connolly@w3.org>
Well done!

On 2009-12 -16, at 23:39, Dan Connolly wrote:

> 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 23:01:06 UTC

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