[ ghc-Bugs-431362 ] GHCi :m doesn't restore default decl

Bugs item #431362, was opened at 2001-06-08 11:47
Message generated for change (Settings changed) made by simonmar
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=108032&aid=431362&group_id=8032

Category: Driver
Group: 5.00
Status: Open
Resolution: None
>Priority: 2
Submitted By: Simon Peyton Jones (simonpj)
Assigned to: Nobody/Anonymous (nobody)
Summary: GHCi  :m  doesn't restore default decl

Initial Comment:
GHCi should remember what the 'default' setting in 
force for a module is, so that after :m Foo one gets 
the default setting for Foo.

This means that GHC should really record the default 
setting in the interface file.

So this is related to the current bug that GHCi 
doesn't remember the original source-level imports for 
the module.  As a result :m Foo (where Foo is a 
compiled module) does not produce the right top-level 
environment

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

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