[Top][All Lists]
[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