Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi: Values do not match: val zero : int is not included in val zero : Decimal.int File "CoqNat.mli", line 6, characters 0-14: Expected declaration File "CoqNat.ml", line 8, characters 4-8: Actual declaration Command exited with code 2. Compilation unsuccessful after building 38 targets (0 cached) in 00:00:01. #55

Open
Ywmet opened this issue Jul 12, 2019 · 1 comment

Comments

@Ywmet
Copy link

Ywmet commented Jul 12, 2019

when I make ,errors blow.Can you help me?

Error: The implementation CoqNat.ml does not match the interface CoqNat.cmi:
Values do not match:
val zero : int
is not included in
val zero : Decimal.int
File "CoqNat.mli", line 6, characters 0-14: Expected declaration
File "CoqNat.ml", line 8, characters 4-8: Actual declaration
Command exited with code 2.
Compilation unsuccessful after building 38 targets (0 cached) in 00:00:01.

@BachelorBayo
Copy link

BachelorBayo commented May 3, 2022

I faced the same problems.
The issue here is that

opam install lwt cohttp coq getopt batteries ocamlnet

gets the most recent version of the packages and installs an second compiler for ocaml to compile that versions.
This leads to your described issue.

My solution was to install specific verison of the upper packages like

opam install lwt.2.7.1 cohttp.0.19.3 coq.8.5.2~camlp4 getopt batteries.3.5.1 ocamlnet.4.1.9-2

Finally get the analyzer to work following the next steps on the project description.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants