I just got this:

Values do not match:
  val unpack :
    Flx_mtypes2.sym_state_t ->
    (string * int) list -> Flx_types.tbexpr_t -> Flx_types.tbexpr_t list
is not included in
  val unpack :
    Flx_mtypes2.sym_state_t ->
    Flx_types.bparameter_t list ->
    Flx_types.tbexpr_t -> Flx_types.tbexpr_t list

and it is clear to *me* that:

Values do not match:
    (string * int) 
is not included in
    Flx_types.bparameter_t

I wonder how hard it would be to add some more heuristics to
the Ocaml compiler to detect a case 'like this' (whatever that
actually means)?

Ocaml already does quite a good job of this in some cases.

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net