coq2rust icon indicating copy to clipboard operation
coq2rust copied to clipboard

Compilation Failed

Open 5HT opened this issue 7 years ago • 1 comments

$ ocaml -version
The OCaml toplevel, version 4.04.0
$ ./configure -local
$ ./compile.sh
File "lib/hMap.ml", line 1:
Error: The implementation lib/hMap.ml
       does not match the interface lib/hMap.cmi:
       ...
       At position module Make(M) : <here>
       The value `union' is required but not provided
make[1]: *** [lib/hMap.cmo] Error 2
make: *** [submake] Error 2

5HT avatar Mar 03 '17 23:03 5HT

Getting the same error, bumping for interest.

$ ocaml -version
The OCaml toplevel, version 4.05.0

awkure avatar Mar 21 '18 02:03 awkure