coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Anomaly: Signature and its instance do not match
Date: Tue, 30 Dec 2014 16:18:01 -0800

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