From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 0EDE17FDE7 for ; Fri, 10 Jun 2016 22:29:53 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.26,451,1459807200"; d="scan'208";a="221986902" Received: from amontsouris-551-1-55-222.w90-24.abo.wanadoo.fr (HELO pl-59055.rocqadm.inria.fr) ([90.24.174.222]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 10 Jun 2016 22:29:52 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.87) (envelope-from ) id 1bBT3w-0000Zu-Ik for caml-list@inria.fr; Fri, 10 Jun 2016 22:29:52 +0200 Date: Fri, 10 Jun 2016 22:29:52 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20160610202952.GA2211@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20160610200021.GA2068@pl-59055.rocqadm.inria.fr> <20160610201840.GA2182@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] Error: The type abbreviation t is cyclic while defining submodules Thanks again Gabriel! Everything seems clear now! Sébastien.