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 958B67FD92 for ; Fri, 10 Jun 2016 22:04:09 +0200 (CEST) IronPort-PHdr: 9a23:zOq/oRGQ2ZBISUMrkgj3dp1GYnF86YWxBRYc798ds5kLTJ74os2wAkXT6L1XgUPTWs2DsrQf27uQ7P+rADdQqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0pMKYOl4YzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9Er1dhaU/nYXTkkRlxNJBUCFsEC7Dd/NtX7BN+B0wzWbMMvBbbEyVTm44r0jHCTlgi4cKz809if3i8p8gbhWujqgoQZ+ysjaetfRfPF3e6eVYMgXX3EJCs1YUigEBoKnc6MOCfAANKBWtd+uiUEJqE6RDAO2Be7rggRDhnLs0Ldyh+soGxvH0QhmBNkOvW7Ztv36Ma4TVaa+y6yenmaLVO9fxTqosNuASRsmu/zZGO8pfA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CuAgCKHFtXfTXWVdFeg1w4fQaqCYVyjR8ihXUCgSQHOxEBAQEBAQEBAREBAQkLCwkhL4IwghYBAQQSER0BGxIMAwwGBQsNAgIJHQICIgERAQUBChIGARISEIdzAQMXDp9FgTE+MYs7gWqCWQWHOAoZJwMKUoMsAQEBAQEFAQEBAQEBGQIGEHGFJoRNh0GCWgEEhkUMkg6BWIQsiCSCN4xpjiwSHoEPNIIaP4FRIDKKCAEBAQ X-IPAS-Result: A0CuAgCKHFtXfTXWVdFeg1w4fQaqCYVyjR8ihXUCgSQHOxEBAQEBAQEBAREBAQkLCwkhL4IwghYBAQQSER0BGxIMAwwGBQsNAgIJHQICIgERAQUBChIGARISEIdzAQMXDp9FgTE+MYs7gWqCWQWHOAoZJwMKUoMsAQEBAQEFAQEBAQEBGQIGEHGFJoRNh0GCWgEEhkUMkg6BWIQsiCSCN4xpjiwSHoEPNIIaP4FRIDKKCAEBAQ X-IronPort-AV: E=Sophos;i="5.26,451,1459807200"; d="scan'208";a="221985118" Received: from mail-it0-f53.google.com ([209.85.214.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jun 2016 22:04:08 +0200 Received: by mail-it0-f53.google.com with SMTP id z189so4457859itg.0; Fri, 10 Jun 2016 13:04:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-transfer-encoding; bh=hAyRZN+VkxeQPeswr51vdW6/kJ+pb1hqC0sK4T31uKs=; b=oAWVDBe0zTtNLF5fGKlupjKTkdcqTEz5DPn6o0STmY+mPo6jr4oCq0f92Cy3GHsOY+ x02ijpmE54K0YaU1CQOFqtN7AhdAtHuKAHaq86tMpVyuDxh8F8jqsG0w8H/xMN9jSkac JxFg1dryLX33KdUdEFH8GRAejHCPyt8IWRxtc2dCbrow7qtnwu4LpRbvJhlbGgra+MdB gp0jWV2o6LHpvALJBkE9wwlf6eNaJ/ACAq7rXZfHKqZEdVkyuTMkn7At7kShZq50kT+f /IoHSItcfdLhyJuPJzzvGuP2rmJXlY7Qdyc1syl5ue2lU0R/xnxivUNOoqRDi1USBCQQ cX+g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:content-transfer-encoding; bh=hAyRZN+VkxeQPeswr51vdW6/kJ+pb1hqC0sK4T31uKs=; b=GHj0XDbI3nQqSKoJ77IGjxMmBh+TJzGi+dmh6QbOT2sjKr+WQZD18ekFGZ3vdy0EuR I2/BBWz+1cuBKLZJ4sHUPZ+2zdQEm92+kyM5lvsg/Rvcmx1apZlyCIMODpSF/DuQqPV3 SAahIZy7GtYydnL3myJQynRf7k7hkbaRKcANs+rPYKYGa1Z4NrbkvGpbBJylnBen5AuN TTbUuxPGWRlBq6SM5+mk7o8uawhiBMydkv9rcw2JHWvP28YKRy49lvJprLScSdzjjhN3 57eOwKG77f8z1pdJBHqvkgqqF1Ti9Qf9jswQVESXgO71dUbWq3qS6xwsHRM+o6nZj57F 0wgQ== X-Gm-Message-State: ALyK8tJ2n/W2T6KErv9dUZZ1Qr4TAerw/B00W4MOU1j3wUAgQjNRDaHtwI0OCLixDADUM030hxeM++Hsx/LYVQ== X-Received: by 10.36.92.131 with SMTP id q125mr1321912itb.21.1465589047455; Fri, 10 Jun 2016 13:04:07 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Fri, 10 Jun 2016 13:03:28 -0700 (PDT) In-Reply-To: <20160610200021.GA2068@pl-59055.rocqadm.inria.fr> References: <20160610200021.GA2068@pl-59055.rocqadm.inria.fr> From: Gabriel Scherer Date: Fri, 10 Jun 2016 16:03:28 -0400 Message-ID: To: =?UTF-8?Q?S=C3=A9bastien_Hinderer?= , caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Error: The type abbreviation t is cyclic while defining submodules This is type nonrec t =3D t which has been introduced in 4.02, after some years of internal usage of (a syntax preprocessor implementing) it internally in Jane Street. On Fri, Jun 10, 2016 at 4:00 PM, S=C3=A9bastien Hinderer wrote: > Dear all, > > Assume the following code in a file points.ml: > > type t =3D float * float > > let compare =3D Pervasives.compare > > (* Other functions on points *) > > module OrderedPoints : Set.OrderedType with type t =3D t =3D struct > type t =3D t > let compare =3D compare > end > > module PointSet : Set.S with type t =3D t =3D Set.Make(OrderedPoints) > > > The line > type t =3D t > yields the above mentionned error. > > Is there a way to let the compiler know that the t appearing after the > "=3D" sign refers to the type defined at points.ml top level? > > Thanks! > > S=C3=A9bastien. > > -- > 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