[Caml-list] Re: ocamlopt vs camlc, different behaviour - how to track down?

[Marc Weber <marco-oweber@gmx.de>]

Error: The implementation m.ml does not match the interface m.cmi:
       Values do not match:
         val empty : ('_a, 'b) t
       is not included in
         val empty : ('a, 'b) t
       File "m.ml", line 11, characters 4-9: Actual declaration
make: *** [m.cmo] Error 2


files as zip: http://mawercer.de/tmp/test-case.zip
contents:

  makefile =========================

  default: m.cmo

  m.cmi: m.mli
          ocamlc -o $@ -c $<

  m.cmo: m.ml m.cmi
          ocamlc -o $@ -c $<
  m.ml ============================


  type ('k, 'v) map =
    | Empty
    | Node of ('k, 'v) map * 'k * 'v * ('k, 'v) map * int

  type ('k, 'v) t =
    {
      cmp : 'k -> 'k -> int;
      map : ('k, 'v) map;
    }

  let empty =
         let () = print_string "[\"pMap.ml\": 81:12-42 81:42]\n"
         in { cmp = compare; map = Empty; };


  m.mli ============================


  type ('a, 'b) t

  val empty : ('a, 'b) t


In cases like first, find_all I was able to workaround this compilation
error by adding explicit parameters, eg

find_all a b = find a b instead of find_all = find

However in the "empty" case I need more help. How to make this case
compile ?

Marc Weber