[GHC] #10622: Rename Backpack packages to units
GHC
ghc-devs at haskell.org
Mon Jul 13 09:07:10 UTC 2015
#10622: Rename Backpack packages to units
-------------------------------------+-------------------------------------
Reporter: ezyang | Owner: ezyang
Type: task | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.11
Resolution: | Keywords: backpack
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Blocked By: | Test Case:
Related Tickets: | Blocking:
| Differential Revisions: Phab:D1057
-------------------------------------+-------------------------------------
Comment (by simonpj):
This sounds plausible to me, though as usual with cabal/backpack I am not
100% sure of my ground.
I think of it like this:
* Cabal concerns itself with Cabal packages (units of distribution and
versioning), including choosing version numbers, downloading them, and
figuring out if that particular package (instantiated with its transitive
dependencies) is already installed.
* GHC concerns itself with Backpack units.
Both share a single "installed package database".
But they use it in a different way. For GHC at least, it's just a cache:
a place to record the result of previous work (including typechecking
indefinite packages), so that we don't need to repeat it. There is no
harm in repeating it, but it's a waste of time.
So Cabal need never see the previously-compiled indefinite packages; they
are just a way for GHC to save time. Maybe that is what you are saying.
Another way to attack this is to ask "what questions does Cabal ask the
installed package database?" and "what questions does GHC ask?". I think
the two are different.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10622#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list