* type inference errors
@ 2007-09-07 7:08 skaller
0 siblings, 0 replies; only message in thread
From: skaller @ 2007-09-07 7:08 UTC (permalink / raw)
To: Caml List
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-09-07 7:10 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-09-07 7:08 type inference errors skaller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).