Ticket #5442 (new bug)

Opened 21 months ago

Last modified 6 months ago

ghc-pkg unregister --user/--global/--package-conf not normative

Reported by: guest Owned by:
Priority: high Milestone: 7.8.1
Component: ghc-pkg Version: 7.2.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Other Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

For package P,

"ghc-pkg unregister --user P" drops the global package if P is not in user.

"ghc-pkg unregister --global P" drops the user package if P is in user.

"ghc-pkg unregister --package-conf=<dir> P" drops the user or the global package, preferring the user one, if P is not found in <dir>.

Same with "ghc-pkg --user unregister P", "ghc-pkg unregister P --user", etc.

GHC versions 6.10, 6.12, 7.0, 7.2.

Change History

Changed 19 months ago by igloo

  • priority changed from normal to high
  • milestone set to 7.6.1

Changed 8 months ago by igloo

  • milestone changed from 7.6.1 to 7.6.2

Changed 6 months ago by igloo

  • difficulty set to Unknown
  • milestone changed from 7.6.2 to 7.8.1
Note: See TracTickets for help on using tickets.