Changes between Version 6 and Version 7 of Commentary/Packages


Ignore:
Timestamp:
Jul 17, 2009 10:02:38 AM (6 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Packages

    v6 v7  
    3535 
    3636 `PackageIdentifier` ("base-4.1.0.0"):: 
    37     A `PackageName` plus a `Version`.  Does uniquely identify a package, but only by convention (we may lift 
    38     this restriction in the future).  `InstalledPackageInfo` contains the field `package :: PackageIdentifier`. 
     37    A `PackageName` plus a `Version`.  A `PackageIdentifier` names an API.  If two `PackageIdentifiers` are 
     38    the same, they have the same API. 
     39    [[BR]][[BR]] 
     40    `InstalledPackageInfo` contains the field `package :: PackageIdentifier`. 
     41    [[BR]][[BR]] 
     42    In GHC 6.11, the `PackageIdentifier` also uniquely identifies a package instance in the package database, but 
     43    only by convention (we may lift this restriction in the future, and allow the database to contain 
     44    multiple package instances with the same `PackageIdentifier` (and different `InstalledPackageId`s). 
    3945 
    4046 `InstalledPackageId` ("base-4.1.0.0-1mpgjN")::  
    41     (introduced in GHC 6.12 / Cabal 1.7.2) A string that uniquely identifies a package in the database.  Dependencies 
    42     between installed packages are identified by the `InstalledPackageId`.  An `InstalledPackageId` is currently 
    43     chosen by adding a random suffix to the string representing the `PackageIdentifier` when a package is registered. 
     47    (introduced in GHC 6.12 / Cabal 1.7.2) A string that uniquely identifies a package instance in the database. 
     48    An `InstalledPackageId` identifies an ABI: if two `InstalledPackageIds` are the same, they have the 
     49    same ABI. 
     50    [[BR]][[BR]] 
     51    `InstalledPackageInfo` contains the field `package :: PackageIdentifier`. 
     52    [[BR]][[BR]] 
     53    Dependencies between installed packages are identified by the `InstalledPackageId`.  An `InstalledPackageId` is 
     54    currently chosen by adding a random suffix to the string representing the `PackageIdentifier` when a package is 
     55    registered. 
    4456 
    4557 `PackageId` (these currently look like "base-4.1.0.0" in GHC 6.12)::