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 B778C7FD92 for ; Fri, 10 Jun 2016 22:10:15 +0200 (CEST) IronPort-PHdr: 9a23:qSf22xat9rvh6Awv4tCcFBH/LSx+4OfEezUN459isYplN5qZpcWzbnLW6fgltlLVR4KTs6sC0LqH9f+/EjVcu96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcKMKFwU3nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1QVWH8Xnx4AOAPF4Qv3RN+lvSLwrOtw3G+BNs37V70ucTun5qZvDhTvjXFUGSQ+9TTsC8Z5l75arRTphx15z4PObZvdYMFzdKrGYdIXQyxhX8BdWjZMGKu9aZEOBqwPJ7AL/MHGu1ISoE7mVkGXD+T1x2oN3yeu0A== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Sebastien.Hinderer@inria.fr; spf=None smtp.mailfrom=SRS0=LITZ=SC=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster@sonata.ens-lyon.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Sebastien.Hinderer@inria.fr) identity=pra; client-ip=140.77.166.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=LITZ=SC=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="Sebastien.Hinderer@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of SRS0=LITZ=SC=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org) identity=mailfrom; client-ip=140.77.166.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=LITZ=SC=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="SRS0=LITZ=SC=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@sonata.ens-lyon.org designates 140.77.166.138 as permitted sender) identity=helo; client-ip=140.77.166.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=LITZ=SC=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="postmaster@sonata.ens-lyon.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DdAQC3HVtXh4qmTYxehAe0HIgUiXgSAQEBAQEBAQERAQEBCgsLByEvQQEEDQGBXIIWAQUjDwFGEAsaAgUTDgICDy0bBohDBK0vkFMxgQGJc4dBK4IvBZhfjh6BXQGNTI9pAiUEgmSBN4hNNoFuAwEBAQ X-IPAS-Result: A0DdAQC3HVtXh4qmTYxehAe0HIgUiXgSAQEBAQEBAQERAQEBCgsLByEvQQEEDQGBXIIWAQUjDwFGEAsaAgUTDgICDy0bBohDBK0vkFMxgQGJc4dBK4IvBZhfjh6BXQGNTI9pAiUEgmSBN4hNNoFuAwEBAQ X-IronPort-AV: E=Sophos;i="5.26,451,1459807200"; d="scan'208";a="221985689" Received: from domu-toccata.ens-lyon.fr (HELO sonata.ens-lyon.org) ([140.77.166.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Jun 2016 22:10:15 +0200 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id ACE5F200E8; Fri, 10 Jun 2016 22:10:14 +0200 (CEST) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id hf8_FLRDSfc5; Fri, 10 Jun 2016 22:10:14 +0200 (CEST) Received: from pema.homeunix.org (AMontsouris-551-1-55-222.w90-24.abo.wanadoo.fr [90.24.174.222]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id 867DE200E2; Fri, 10 Jun 2016 22:10:14 +0200 (CEST) Received: from seb by pema.homeunix.org with local (Exim 4.87) (envelope-from ) id 1bBSkv-0006ug-T7; Fri, 10 Jun 2016 22:10:13 +0200 Date: Fri, 10 Jun 2016 22:10:13 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: Gabriel Scherer Cc: caml users Message-ID: <20160610201013.GA26465@pema> Mail-Followup-To: Gabriel Scherer , caml users References: <20160610200021.GA2068@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 Gabriel Scherer (2016/06/10 16:03 -0400): > This is > > type nonrec t = t > > which has been introduced in 4.02, after some years of internal usage > of (a syntax preprocessor implementing) it internally in Jane Street. Thanks so much for such a prompt and helpful response, Gabriel! Sébastien.