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 pAQ9qVqM004926 for ; Sat, 26 Nov 2011 10:52:31 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiYCAKS10E6DnwAIhWdsb2JhbABEqwAiAQEBCgsLBRYlgiCKKpZnnzKHTYIyYwSMZCmMfYxM X-IronPort-AV: E=Sophos;i="4.69,575,1315173600"; d="scan'208";a="120963993" Received: from mail-out1.informatik.tu-muenchen.de ([131.159.0.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Nov 2011 10:52:26 +0100 Received: from [172.16.1.5] (178-27-33-74-dynip.superkabel.de [178.27.33.74]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mail.in.tum.de (Postfix) with ESMTP id 64F37DEB4 for ; Sat, 26 Nov 2011 10:52:25 +0100 (CET) From: =?iso-8859-1?Q?=22Markus_W=2E_Wei=DFmann=22?= Content-Type: text/plain; charset=iso-8859-1 Date: Sat, 26 Nov 2011 10:52:23 +0100 Message-Id: To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pAQ9qVqM004926 Subject: [Caml-list] 3.13.0 stricter on interfaces? (building extlib) Hi everyone, I just tried to build extlib with the most recent checkout of ocaml (rev 11286): The build fails on the extHashtbl.ml module: --- Error: The implementation extHashtbl.ml does not match the interface extHashtbl.cmi: ... In module Hashtbl: Values do not match: val create : ?seed:int -> int -> ('a, 'b) t is not included in val create : int -> ('a, 'b) t --- As far as I understand the problem, extlib's Hashtbl claims to implement the Hashtbl-interface from the standard library. Previous OCaml versions were ok with extlib's "create" function having an additional optional parameter, but 3.13. seems to think different. Is this on purpose or a bug? Regards -Markus -- Markus Weißmann, M.Sc. Technische Universität München Institut für Informatik Boltzmannstr. 3 D-85748 Garching Germany http://wwwknoll.in.tum.de/