ghc-6.0: panic! (the `impossible' happened, GHC version 6.0)

2004-03-19 Thread Ryan Brendan Cassar
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

Bug in the proof of Data.FiniteMap and DData.Map

2004-03-19 Thread Robert Will
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

RE: ghc-6.0: panic! (the `impossible' happened, GHC version 6.0)

2004-03-19 Thread Simon Marlow
Trivial 'impossible' situation: [EMAIL PROTECTED] ~] ghci ___ ___ _ / _ \ /\ /\/ __(_) / /_\// /_/ / / | | GHC Interactive, version 6.0, for Haskell 98. / /_\\/ __ / /___| | http://www.haskell.org/ghc/ \/\/ /_/\/|_| Type :? for help. Loading

[ ghc-Bugs-919861 ] Typo in user guide

2004-03-19 Thread SourceForge.net
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: