[ ghc-Bugs-1239974 ] Reloading mutually recursive modules gives more errors

Bugs item #1239974, was opened at 2005-07-18 01:16
Message generated for change (Comment added) made by josefs
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1239974&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: None
Priority: 5
Submitted By: Josef Svenningsson (josefs)
Assigned to: Simon Marlow (simonmar)
Summary: Reloading mutually recursive modules gives more errors

Initial Comment:
Sorry for the not so descriptive title. It seems I'm
tickling several bugs related to mutually recursive
modules with ghci. This time the setup looks like follows:
<file Boot.hs>
{-# OPTIONS -fglasgow-exts #-}
module Boot where

import A

data Data = forall c. Class c => Data c
</file>
<file A.hs>
module A where

import {-# source #-} Boot

class Class a where
  fkn :: a -> a
--  fkn = id
  mkData :: a -> Data

modify :: Class a => a -> a
modify = fkn
</file>
<file Boot.hs-boot>
module Boot where

data Data
</file>

Now do 'ghci A.hs'. That should work alright. Then
uncomment the line in the class declaration in file
A.hs. Type ':r' in ghci. This is seems to confuse ghci
quite a lot:
A.hs:1:0: Circular imports: module `A' depends on itself

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

>Comment By: Josef Svenningsson (josefs)
Date: 2005-07-18 21:18

Message:
Logged In: YES 
user_id=307552

I can confirm that this bug is solved in 6.4.1. Thanks!

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

Comment By: Simon Marlow (simonmar)
Date: 2005-07-18 16:18

Message:
Logged In: YES 
user_id=48280

I don't get the same results as you.  On ':r', I get the
same error as your previous bug report, namely:

*** Exception: expectJust upsweep_mod:old_linkable

However, this example does tickle another bug that has been
fixed post-6.4, namely that we should be compiling the Boot
module even though Boot is only imported with {-# source
#'-}.  If you try a 6.4.1 snapshot, you'll find this bug has
been fixed.

I'll leave the bug open pending feedback, just in case
there's a mistake in the report somewhere, but I suspect
this one is fixed.

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

Comment By: Josef Svenningsson (josefs)
Date: 2005-07-18 01:20

Message:
Logged In: YES 
user_id=307552

I should add that typing ':r' again after the strange error
message reloads the modules just fine.

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

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