The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

This is a bug in coq, you should report it on the bug tracker with code that reproduces it.  If you do not have a small test-case that reproduces it, you can use my coq-bug-minimizer script to construct a small example test-case to reproduce the error, and report that on the bug tracker.  (And please let me know if you have any questions or suggestions about the use of my script.)

-Jason

On Tue, Dec 30, 2014 at 7:18 PM, Vadim Zaliva <vzaliva AT cmu.edu> wrote:

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