From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p97GbVmm006181 for ; Fri, 7 Oct 2011 18:37:31 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUCAEsqj06flYLKgWdsb2JhbABEqD4iAQEWJiWCAYE1PxAMoHifVocxBJNvhRaMNA X-IronPort-AV: E=Sophos;i="4.68,503,1312149600"; d="ml'?mli'?scan'208";a="112123551" Received: from smtp.dico.unimi.it ([159.149.130.202]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 07 Oct 2011 18:37:25 +0200 Received: from ulik.disi.unige.it (ulik.disi.unige.it [130.251.61.165]) (authenticated bits=0) by smtp.dico.unimi.it (8.14.4/8.14.4) with ESMTP id p97GbL7V008584 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 7 Oct 2011 18:37:22 +0200 Date: Fri, 7 Oct 2011 18:37:16 +0200 (CEST) From: Walter Cazzola To: OCaML Mailing List Message-ID: User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323328-757470947-1318005042=:3251" Content-ID: X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (smtp.dico.unimi.it [159.149.130.202]); Fri, 07 Oct 2011 18:37:22 +0200 (CEST) X-DSI-MailScanner-Information: Please contact the staff for more information X-DSI-MailScanner-ID: p97GbL7V008584 X-DSI-MailScanner: Found to be clean X-DSI-MailScanner-From: cazzola@dico.unimi.it Subject: [Caml-list] with clause 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-757470947-1318005042=:3251 Content-Type: TEXT/PLAIN; FORMAT=flowed; CHARSET=US-ASCII Content-ID: Dear all, I'm still stucked on my example to write a functor for functions with a variable number of arguments. In particular I can't instantiate it with a generic list ('a list). Attached you find my code. Sometimes ago some on the list suggested me to use with to specify the value of the generic type (a in my case but I can't get rid of its syntax, what I think correct is: module M1 = VarArgs(ListConcat with type ListConcat.a = int) ;; but I get a syntax error on the with. Please note that I'd like to keep OpVarADT and varargs independent of the concrete type of a. Any help to solve this riddle would be appreciated. TIA Walter -- --8323328-757470947-1318005042=:3251 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=OpVarADT.mli Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: attachment; filename=OpVarADT.mli bW9kdWxlIHR5cGUgT3BWYXJBRFQgPSANCiBzaWcNCiAgIHR5cGUgYSBhbmQg YiBhbmQgYw0KICAgdmFsIG9wOiBhIC0+IGIgLT4gYw0KICAgdmFsIGluaXQg OiBjDQogZW5kDQo= --8323328-757470947-1318005042=:3251 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=varargs.ml Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: attachment; filename=varargs.ml bW9kdWxlIFZhckFyZ3MgKE9QIDogT3BWYXJBRFQuT3BWYXJBRFQpID0gDQog IHN0cnVjdA0KICAgIGxldCBhcmcgeCA9IGZ1biB5IHJlc3QgLT4gcmVzdCAo T1Aub3AgeCB5KSA7Ow0KICAgIGxldCBzdG9wIHggPSB4OzsNCiAgICBsZXQg ZiBnID0gZyBPUC5pbml0OzsNCiAgZW5kDQo= --8323328-757470947-1318005042=:3251 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=listc.ml Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: attachment; filename=listc.ml bW9kdWxlIExpc3RDb25jYXQgPSBzdHJ1Y3QNCiAgdHlwZSBhIGFuZCBiID0g YSBsaXN0IGFuZCBjID0gYSBsaXN0DQogIGxldCBvcCA9IGZ1biAoeDogYSkg eSAtPiB5IEAgW3hdIDs7DQogIGxldCBpbml0ID0gW10gOzsNCmVuZA0K --8323328-757470947-1318005042=:3251--