Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Strange error message
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@k...>
Subject: Re: [Caml-list] Strange error message
From: Vitaly Lugovsky <vsl@ontil.ihep.su>
>  I just got a strange error message, never seen before.
> Ocaml 3.06.
> 
> The implementation lisp.ml does not match the interface lisp.cmi:
> Values do not match:
>   val execute :
>     int * (string, '_a Lispt.ctv) Hashtbl.t ->
>     '_a Lispt.llist list -> int * (string, '_a Lispt.ctv) Hashtbl.t
> is not included in
>   val execute :
>     int * (string, 'a Lispt.ctv) Hashtbl.t ->
>     'a Lispt.llist list -> int * (string, 'a Lispt.ctv) Hashtbl.t

That's just the nth variant of the value polymorphism problem.  You
should probably eta-expand the definition of execute, because
currently it has a monorphic type (as shown by the '_a), while the
interface requires it to be polymorphic.

---------------------------------------------------------------------------
Jacques Garrigue      Kyoto University     garrigue at kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners