[ ghc-Bugs-1274506 ] QuickCheck induced panic on :reload

Bugs item #1274506, was opened at 2005-08-27 18:29
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1274506&group_id=8032

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: GHCi
Group: 6.4
Status: Open
Resolution: None
Priority: 5
Submitted By: Don Stewart (dons)
Assigned to: Nobody/Anonymous (nobody)
Summary: QuickCheck induced panic on :reload

Initial Comment:
A broken QuickCheck property cause ghci to panic after
reloading the module. Seen in stable and head branch.

paprika$ ghci T.hs
*Main> do_test
                     test : *                         
      (0)
*Main> :reload
ghc-6.5: panic! (the `impossible' happened, GHC version
6.5):
        <<loop>>

Please report it as a compiler bug to
glasgow-haskell-bugs@xxxxxxxxxxx,
or http://sourceforge.net/projects/ghc/.

Changing the property to check for empty lists causes
the test to pass, and reload to work fine.

-- Don Stewart

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1274506&group_id=8032