coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] determine the resolution of imports

From: Hugo Herbelin <Hugo.Herbelin AT inria.fr>
To: Abhishek Anand <abhishek.anand.iitg AT gmail.com>
Cc: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] determine the resolution of imports
Date: Wed, 15 Feb 2017 10:17:25 +0100

Hi, did you try "Locate Library foo"? Best, Hugo

On Tue, Feb 14, 2017 at 03:39:51PM -0500, Abhishek Anand wrote:
> I am trying to debug a mis-resolved "Require Import ...".
> Is there a way to see the exact location of the .vo file to which the import
> was resolved to by coqc/coqtop?
>
> Thanks,
> -- Abhishek
> http://www.cs.cornell.edu/~aa755/

[Coq-Club] determine the resolution of imports, Abhishek Anand, 02/14/2017
- Re: [Coq-Club] determine the resolution of imports, Adam Chlipala, 02/14/2017
- Re: [Coq-Club] determine the resolution of imports, Gaetan Gilbert, 02/14/2017
- Re: [Coq-Club] determine the resolution of imports, Hugo Herbelin, 02/15/2017