bug-mit-scheme
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-mit-scheme] Re: Bugs of wttree.scm on deletion.


From: 山本和彦
Subject: [Bug-mit-scheme] Re: Bugs of wttree.scm on deletion.
Date: Tue, 25 Jan 2011 13:28:16 +0900 (JST)

Hello,

> Whoops!  Thanks for reminding me.  I did make some progress on this,
> but then got distracted thinking about adapting QuickCheck to Scheme
> and tweaking its design.  Rather than get bogged down by that, I've
> just committed a fix (in fa7ec497241664b891e2b57c8330b47e6c8ede11) and
> some simple-minded tests that are good enough to catch the problem I
> found.

Thank you very much!

I tested the code above with my test framework and it passed all
property tests.

        https://github.com/kazu-yamamoto/wttree/tree/master/mit

If you like, you can import test-base.scm to MIT/GNU Scheme. I'm not
an export Schemer, so you should modify it as you like. If the
copyright is a problem, please let me know. 

P.S.

I created a summary page about weight-balanced trees.

        http://www.mew.org/~kazu/proj/weight-balanced-tree/

--Kazu



reply via email to

[Prev in Thread] Current Thread [Next in Thread]