From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8RKMfhU032217 for ; Tue, 27 Sep 2011 22:22:41 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgEBAGcvgk6flYLKmWdsb2JhbABBqAEUAQEBAQEICwsHFCaBUwEBBAEnUgULCw44VwaICwK5cocLBJNShRASjBQ X-IronPort-AV: E=Sophos;i="4.68,451,1312149600"; d="scan'208";a="121803050" Received: from smtp.dico.unimi.it ([159.149.130.202]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Sep 2011 22:22:35 +0200 Received: from [192.168.1.100] (dynamic-adsl-94-36-46-100.clienti.tiscali.it [94.36.46.100]) (authenticated bits=0) by smtp.dico.unimi.it (8.14.4/8.14.4) with ESMTP id p8RKMQNY015033 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 27 Sep 2011 22:22:28 +0200 Date: Tue, 27 Sep 2011 22:22:21 +0200 (CEST) From: Walter Cazzola To: Pierre Chopin cc: OCaML Mailing List In-Reply-To: <091F94EF-9F08-41E2-8AD7-415548045A72@free.fr> Message-ID: References: <6A020199-D53D-443E-9683-D225D495AEB5@math.nagoya-u.ac.jp> <091F94EF-9F08-41E2-8AD7-415548045A72@free.fr> User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323328-1223968995-1317154948=:2778" X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (smtp.dico.unimi.it [159.149.130.202]); Tue, 27 Sep 2011 22:22:29 +0200 (CEST) X-DSI-MailScanner-Information: Please contact the staff for more information X-DSI-MailScanner-ID: p8RKMQNY015033 X-DSI-MailScanner: Found to be clean X-DSI-MailScanner-From: cazzola@dico.unimi.it Subject: Re: [Caml-list] still silly issues on polymorphic types This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323328-1223968995-1317154948=:2778 Content-Type: TEXT/PLAIN; charset=iso-8859-1; format=flowed Content-Transfer-Encoding: 8BIT 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 -- --8323328-1223968995-1317154948=:2778--