coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] How to make local sources take precedence over the library?

From: Karl Crary <crary AT andrew.cmu.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] How to make local sources take precedence over the library?
Date: Tue, 3 Sep 2019 12:00:20 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=crary AT andrew.cmu.edu; spf=Pass smtp.mailfrom=crary AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-qt1-f169.google.com
Ironport-phdr: 9a23:k5SrqxyUxTHGMz3XCy+O+j09IxM/srCxBDY+r6Qd1OkXIJqq85mqBkHD//Il1AaPAdyBrasb0KGI7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVmjaxe65+IRe4oAnet8QbjpZpJ7osxBfOvnZGYfldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbDVheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulSwJNSM28HvPh8JwkaxVvhGvqRJxzIHbfI6bO+Fzfr/fcN4AWWZNQshcWi5HD4ihb4UPFe0BPeNAoof4vVQOtx++DhSyCeP10DBInH/31rA93us9CwHJxhYgHtIVvXvOqtX6Kb0SXv67zaXS0TrDau5W1S3j54fVbxAsuPeBVq9zf8rJ0UQjCR/Jg1GKpYHmPz6ZzPkBvmmH4+Z6SO6iimoqpxlsrjSz2ssgkIjEipgax13H7yl13ok4KNO+RUVme9CrCoFQuDufN4ZuQsMtXWVouCEix70Do5G7fSwKxI0+xx7DdvCLaoaI7g/iWeuVOzt4i3VleLWwhxa270es0PHzVs6x0FpSrypFlMfDtmwV2hDN9sSKTuFx80Sh1DqVygze6/1ILVopmafaL5Mt2rswmYASsUTHEC/2gkL2jKqOe0o44Oin8f7nY7X9q5CGMY97lxv+Pbogm8ClHes4NxUOU3KF9uuhyb3v5Vf5T6lSjv0qjqnZt4jXKtgcpq6gGgNazoIj6wukADq9y9QZnXwHLEpfdx6djojpPUvOIPHiAvuljVSsimQj+/eTNbr4R57JM3LrkbH7fL875VQP5hA0yIV87ohQQpobKejiEhv6rtXCHzcwNQCuzvmhA9BgkI4SRDTcUeeiLKrOvArQtaoUKO6WadpN4WevG70e//fryEQBtxoYdKit04EQbSnmTP1gL1+Ufjznh8pHHGsX7FNnEL7azWaaWDsWXE6cGrom72hlWougAZ3OWcamhaHH0SumTMUPOzJ2T2uUGHKtTL2qHvcBbCXIfJ1kmz0AEKG9EsovjE//8gD9zLVjI6zf/ShK7Z8=

Hi all,

I upgraded to 8.9.1, and found that several new modules have been added to the library whose names collide with my own. Unfortunately, this breaks my code in many places. Is there a way to tell Coq to give precedence to local sources over libraries?

Thanks for any help.

-- Karl Crary

[Coq-Club] How to make local sources take precedence over the library?, Karl Crary, 09/03/2019
- Re: [Coq-Club] How to make local sources take precedence over the library?, Théo Zimmermann, 09/03/2019
  - Re: [Coq-Club] How to make local sources take precedence over the library?, Karl Crary, 09/03/2019
    - Re: [Coq-Club] How to make local sources take precedence over the library?, Théo Zimmermann, 09/03/2019
      - Re: [Coq-Club] How to make local sources take precedence over the library?, Maxime Dénès, 09/04/2019
        
        Re: [Coq-Club] How to make local sources take precedence over the library?, Théo Zimmermann, 09/04/2019
      - Re: [Coq-Club] How to make local sources take precedence over the library?, Robbert Krebbers, 09/04/2019
        
        Re: [Coq-Club] How to make local sources take precedence over the library?, Théo Zimmermann, 09/04/2019
    - Re: [Coq-Club] How to make local sources take precedence over the library?, Pierre Courtieu, 09/04/2019