[z3-checkins] Re: r10172 - z3/Five/branch/regebro-standard_macros

Philipp von Weitershausen philipp at weitershausen.de
Thu Mar 31 17:33:03 MEST 2005


Lennart Regebro wrote:
> On Thu, 31 Mar 2005 14:16:40 +0200, Philipp von Weitershausen
> > No, you're not, I take that statement back... It does solve that
> > problem, but by proxy. Magically, you might say. I prefer it solved a
> > non-magical way.
> 
> So do I, assuming that it's easy and doesn't take a lot of
> code-copying. This friday, when I did this, I did not see such a way.
> I fact, I still don't, but that may bebecause I'm trying not to switch
> head-space to Five, but keep to my current project.

Fair enough. I'll try to look into fixing it "my way" next week. Are 
there some unit tests that can serve me as a measurement as to whether 
I've succeeded?

Philipp


More information about the z3-checkins mailing list