Trivial 'impossible' situation:
[EMAIL PROTECTED] ~] ghci
___ ___ _
/ _ \ /\ /\/ __(_)
/ /_\// /_/ / / | | GHC Interactive, version 6.0, for Haskell 98.
/ /_\\/ __ / /___| | http://www.haskell.org/ghc/
\/\/ /_/\/|_| Type :? for help.
Loading package base
hi,
both of the data structures are based on Adams' balancing algorithm
which contains a bug -- at least in its proof. (Perhaps it is
correct, but I don't know anyone that knows if.)
Instead of fixing the bug I have re-derived the algorithm from the
invariant together with a (now hopefully
Trivial 'impossible' situation:
[EMAIL PROTECTED] ~] ghci
___ ___ _
/ _ \ /\ /\/ __(_)
/ /_\// /_/ / / | | GHC Interactive, version 6.0, for
Haskell 98.
/ /_\\/ __ / /___| | http://www.haskell.org/ghc/
\/\/ /_/\/|_| Type :? for help.
Loading
Bugs item #919861, was opened at 2004-03-20 11:16
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=919861group_id=8032
Category: Documentation
Group: 6.2
Status: Open
Resolution: