From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 7CD792DF5 for ; Mon, 19 Mar 2018 10:45:17 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,330,1517871600"; d="scan'208";a="318775830" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 19 Mar 2018 11:45:16 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7CA0D82419; Mon, 19 Mar 2018 11:45:16 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A312B823D7 for ; Mon, 19 Mar 2018 11:45:04 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rixed@happyleptic.org; spf=None smtp.mailfrom=rixed@happyleptic.org; spf=None smtp.helo=postmaster@pim.happyleptic.org IronPort-PHdr: =?us-ascii?q?9a23=3AYODl+xZuj14yPvBFXDdamxb/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMS9bnLW6fgltlLVR4KTs6sC17KN9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCazbL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWSJPAp2y?= =?us-ascii?q?YZYMAeoPMulXs5TyqFkAohalGQmgGPnixiNUinLsw6E31fkqHwHc3AwnGtIDqG?= =?us-ascii?q?rZo8voO6cIUOC60LTDwCvdYPNS3Tf96ZbHcgo8qvyLR7JwcMXQxlcyGA7ejlWf?= =?us-ascii?q?s5TlPyuV1+QJrWeb9/ZgVeOzhGI9rAFxuDevy94qh4LUhYwV0kjJ+CVjzIooK9?= =?us-ascii?q?C1SFR3bcOkHZZRrS2WKoh7T8E6T2xruCs20KAKtJG4cSQQyZkqyQTTZv2bf4WO?= =?us-ascii?q?/xntTvyeIS1ii3JgYL+/hwi98UynyuDkTsm00VNKojBFktbWrnANzxzS6syZRf?= =?us-ascii?q?tl4keh2CqA2xrU6uFeLkA4javbK5g/zb4sjpcesV7PEjL4lUj2lqOaa0Up9+my?= =?us-ascii?q?5+j6YbjrpIeQN4puhQH/NqQulNa/AeM9MgUWRWib+Ou926P+8kDiQLVFlOU2kr?= =?us-ascii?q?HZsZDeO8sbvrK5Aw5J3Yo57Ba/FTim3MwCnXYbNFJFZA6Hj4/xNl7SOv/4CPO/?= =?us-ascii?q?j02okDdq3PDGIqbsAo7NL3jGiLfuZ6xx609ayAopzNBQ/YhYCr8bIKG7Zkiknt?= =?us-ascii?q?XYCxY/eymz3e/+Ac81gokXWWeGBIeTOaPXuFmNoOkoJr/fSpUSvWPWJvQ/5vWm?= =?us-ascii?q?pnI9nV4QZ+H9x5oHZXyQHv1+O1SdbGLwg9xHFn0F6FltBNf2gUGPBGYAL025WL?= =?us-ascii?q?gxs3RiUNr/XNXzA7u1ibnE5x+VW5hfZ2RIEFeJSCi6d4ycQ+YIZTqOI8QnlSYL?= =?us-ascii?q?B+D4F90RkCq2vQq/8IJJa/LO83RH55LqzMBk4+DLiRA5sztuAJbFijzffyRPhm?= =?us-ascii?q?oNAgQO8uV/rEh6kA7Ryal9xfxRDcRC4/5RTgYxc5nGwL4iBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DuBAB4lK9a/7uchwVdHAEBAQQBAQoBA?= =?us-ascii?q?YNQZnIojhNWjQdCAQEBAQEBBoJLjBqJeAsbhHUCCIM2GQYGNBQBAgEBAQEBAQE?= =?us-ascii?q?BAWoogjgkAYJJBjoGAQE3AQ8LIRMSDwVJhR4RAQGfEYhtgxSDAQEBBYVOggYIh?= =?us-ascii?q?TOCFYENhTyIPoIxmDkJhgeJGw+BPQFOiyGQNYEqNSGBUjMaCCgIOoJDCYIajkl?= =?us-ascii?q?zkEMBAQE?= X-IPAS-Result: =?us-ascii?q?A0DuBAB4lK9a/7uchwVdHAEBAQQBAQoBAYNQZnIojhNWjQd?= =?us-ascii?q?CAQEBAQEBBoJLjBqJeAsbhHUCCIM2GQYGNBQBAgEBAQEBAQEBAWoogjgkAYJJB?= =?us-ascii?q?joGAQE3AQ8LIRMSDwVJhR4RAQGfEYhtgxSDAQEBBYVOggYIhTOCFYENhTyIPoI?= =?us-ascii?q?xmDkJhgeJGw+BPQFOiyGQNYEqNSGBUjMaCCgIOoJDCYIajklzkEMBAQE?= X-IronPort-AV: E=Sophos;i="5.48,330,1517871600"; d="scan'208";a="318775711" Received: from pim.happyleptic.org ([5.135.156.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 19 Mar 2018 11:44:55 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=happyleptic.org; s=20160823; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Subject:Cc:To:From:Date; bh=1AfOEjfCKhBfR4Gsbqs80AtvsrzqRZXALJgmw6HnG50=; b=bNcuznWyGwBI/nPSzVn8PxdRs/DeOPoGO8TJheJhD/MufeQvpGL1cTjQLLnM8QsoB8xbH9FfG+NYztr1l4rzDOcI5E/U/izMow2oPFG6v2Z4pNZXz3wzPWN2MalPBpNSHshIKBA6//3LvW0I58WPY4u6GwyP8Ly1Ou8MVKFimY0=; Received: from s55943f3c.adsl.online.nl ([85.148.63.60] helo=rxdmac.local) by pim.happyleptic.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.84_2) (envelope-from ) id 1exsHf-0001d1-31; Mon, 19 Mar 2018 11:44:55 +0100 Date: Mon, 19 Mar 2018 11:44:48 +0100 From: Cedric Cellier To: Bahman Movaqar Cc: caml-list@inria.fr Message-ID: <20180319104448.GA79585@rxdmac.local> References: <20180319104145.GB80588@rxdmac.local> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20180319104145.GB80588@rxdmac.local> User-Agent: Mutt/1.9.2 (2017-12-15) Subject: Re: [Caml-list] On variants, integers and testing Reply-To: Cedric Cellier X-Loop: caml-list@inria.fr X-Sequence: 16732 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: > --- yadayada.ml --- 8< --- 8< --- > module M = Yadayada_impl : Yadayada_intf.S > --- >8 --- >8 --- Bummer, that should have been: module M : Yadayada_intf.S = Yadayada_impl -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs