Ticket #552 (new bug: None)

Opened 12 years ago

Last modified 4 years ago

GHCi :m doesn't restore default decl

Reported by: simonpj Owned by:
Priority: lowest Milestone: _|_
Component: GHCi Version: 5.0
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: ghci016 Blocked By:
Blocking: Related Tickets:

Description (last modified by igloo) (diff)

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

Change History

Changed 7 years ago by igloo

  • description modified (diff)
  • testcase set to ghci016
  • difficulty set to Unknown
  • architecture set to Unknown
  • milestone set to 6.8
  • os set to Unknown

Changed 6 years ago by igloo

  • milestone changed from 6.8 branch to _|_

Changed 5 years ago by simonmar

  • component changed from Driver to GHCi

Changed 5 years ago by simonmar

  • architecture changed from Unknown to Unknown/Multiple

Changed 5 years ago by simonmar

  • os changed from Unknown to Unknown/Multiple

Changed 4 years ago by igloo

  • owner nobody deleted
  • status changed from assigned to new
Note: See TracTickets for help on using tickets.