coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Letouzey <pierre.letouzey AT inria.fr>
- To: vzaliva AT cmu.edu
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Anomaly: Signature and its instance do not match
- Date: Wed, 31 Dec 2014 11:42:05 +0100 (CET)
Hi Vadim,
Such an "anomaly" isn't supposed to happen, this is a bug on Coq's side.
Could you please submit a more detailed bug report on http://coq.inria.fr/bugs
including in particular a Coq script triggering this error ?
Thanks
Pierre Letouzey
----- Mail original -----
> I am getting an error message:
>
> "Anomaly: Signature and its instance do not match. Please report."
>
> What could be the reason for this and how to work around it?
>
> Sincerely,
> Vadim Zaliva
>
> --
> CMU ECE PhD student
> Mobile: +1(510)220-1060
> Skype: vzaliva
>
>
- [Coq-Club] Anomaly: Signature and its instance do not match, Vadim Zaliva, 12/31/2014
- Re: [Coq-Club] Anomaly: Signature and its instance do not match, Pierre Letouzey, 12/31/2014
- Re: [Coq-Club] Anomaly: Signature and its instance do not match, Jason Gross, 12/31/2014
- Re: [Coq-Club] Anomaly: Signature and its instance do not match, Vadim Zaliva, 12/31/2014
Archive powered by MHonArc 2.6.18.