On Tue, 27 Sep 2011, Pierre Chopin wrote:
Le 27 sept. 2011 à 09:58, Walter Cazzola a écrit :
On Tue, 27 Sep 2011, Jacques Garrigue wrote:
uhm, I've tried to follow your advice but the problem persists (attached the new version) when I try to apply the functor I get the following error:
# module M1 = Continuation(Sum) ;; Error: Signature mismatch: Modules do not match: sig type a = int and b = int and c = int val op : int -> int -> int val init : int end is not included in OpVarADT.OpVarADT Values do not match: val op : int -> int -> int is not included in val op : 'a -> 'b -> 'c
Compiled successfully the code that was attached, looks somehow you have an old version of OPVarADT being used. Try to delete cmo/cmi files and recompile.
You are right, I forgot to cancel the previous .cmi files. I still have one problem: how can I assign to a the type 'a list? by using «type a= 'a list» I get Error: Unbound type parameter 'a thanks a lot for the help Walter -- -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
