Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Anomaly: Signature and its instance do not match

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Anomaly: Signature and its instance do not match


Chronological Thread 
  • 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
>
>



Archive powered by MHonArc 2.6.18.

Top of Page