- From: Tim Berners-Lee <timbl@w3.org>
- Date: Thu, 17 Dec 2009 18:04:04 -0500
- To: Dan Connolly <connolly@w3.org>
- Cc: public-cwm-talk <public-cwm-talk@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