Il giorno sab 12 dic 2020 alle ore 13:20 Henning Thielemann < lemming@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.