[Haskell-cafe] Do something about Cabal?

[Pasqualino "Titto" Assini]

Il giorno sab 12 dic 2020 alle ore 13:20 Henning Thielemann <
lemming at henning-thielemann.de> ha scritto:

>
> On Sat, 12 Dec 2020, Pasqualino "Titto" Assini wrote:
>
> > I don't actually see the problem in producing a hash of the API you use.
> > It is simply the hash of the list of your imports.
> >
> > Is this overspecific? In the sense that it is more restrictive than it
> could be?
>
> How do you address with a hash that added identifiers in an imported
> module do not harm if you import qualified or explicitly?
>
> How do you address changed type of an imported variable?


The hash is obviously calculated on a normalised version of the module.

As part of this normalisation step, all references to external definitions
are fully qualified.

And it is impossible to import a variable with a changed type, because if
the type had changed so would have its definition and therefore the hash of
the imported module.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20201212/56d53806/attachment.html>