$ pwd
/Users/maxim/depot/coq-concurrency/system/extraction
$ cat Makefile
build:
ocamlbuild echoServer.native -use-ocamlfind -package io-system,num,str,unix,base64
$ opam list base64
# Available packages for system:
base64 1.1.0 Base64 encoding and decoding library
ocamlbuild echoServer.native -use-ocamlfind -package io-system,num,str,unix,base64
+ ocamlfind ocamlopt -c -package io-system,num,str,unix,base64 -o echoServer.cmx echoServer.ml
File "echoServer.ml", line 1:
Error: The implementation echoServer.ml
does not match the interface echoServer.cmi:
...
In module Native.Base64:
Values do not match:
val encode : ?pad:bool -> ?alphabet:string -> string -> string
is not included in
val encode : String.t -> String.t
File "echoServer.ml", line 705, characters 8-14: Actual declaration
