Version française
Home     About     Download     Resources     Contact us    
Browse thread
type inference errors
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: skaller <skaller@u...>
Subject: type inference errors
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