% cat simple.mli
external add : int -> int = "add"
% cat simple.c
int add(int a){
return ++a;
}
%cat simple.ml
open Simple ;;
let a = add 4 ;;
Printf.printf "%d\n" a ;;
После чего выполнил
% ocamlc -c simple.mli
Получил simple.cmi
% ocamlc -c simple.c
Получил simple.o
% ocamlc -c simple.ml
Получил сообщение:
The implementation simple.ml does not match the interface simple.cmi:
The field `add' is required but not provided
Что делать?
В качестве документации использовал "The Objective Caml system release 3.07 (Documentation and user's manual)"
