[ ghc-Bugs-1239792 ] Reloading edited mutually recursive modules gives error

Bugs item #1239792, was opened at 2005-07-17 16:07
Message generated for change (Settings changed) made by simonmar
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1239792&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: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Josef Svenningsson (josefs)
Assigned to: Nobody/Anonymous (nobody)
Summary: Reloading edited mutually recursive modules gives error

Initial Comment:
Given two modules which are mutually recursive, for
instance the following:
<file Boot.hs>
module Boot where

import A

data Data = forall n. Class n => D n
</file>
<file Boot.hs-boot>
module Boot where

data Data
</file>
<file A.hs>
module A where

import {-# source #-} Boot

class Class a where
  method :: a -> Data -> a
</file>

Now, if I do 'ghci Boot.hs' this will correctly cause
an error because Boot.hs needs -fglasgow-exts. So I add
{-# OPTIONS -fglasgow-exts #-} in the beginning of
Boot.hs. Finally I do ':r' in ghci. This yields the
following error:
*** Exception: expectJust upsweep_mod:old_linkable


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

>Comment By: Simon Marlow (simonmar)
Date: 2005-07-18 14:08

Message:
Logged In: YES 
user_id=48280

Thanks - excellent bug report.  I was hoping that I would be
able to reproduce this bug: 

  [ 1177320 ] GHC: panic! (compiler bug?)

using your test case, but alas not.  Anyway, the bug
reported here is now fixed.

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

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