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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DA6687EEFA for ; Fri, 13 Nov 2015 14:18:50 +0100 (CET) IronPort-PHdr: 9a23:I8/nPxzvuZ/xyInXCy+O+j09IxM/srCxBDY+r6Qd0ekQIJqq85mqBkHD//Il1AaPBtWGra8dwLaO+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStOU0p38i7j60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRZCi4nOiY7/p7Frx7GGEGq/D1UcmgMiFAAVw3E9w33RJf8qDHSuPBw1S+XIYv6QOZnCnyZ8653RUqw2288PDkj/TSPhw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=misterherr@freenet.de; spf=None smtp.mailfrom=misterherr@freenet.de; spf=None smtp.helo=postmaster@mout3.freenet.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=pra; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of misterherr@freenet.de) identity=mailfrom; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="misterherr@freenet.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout3.freenet.de) identity=helo; client-ip=195.4.92.93; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="misterherr@freenet.de"; x-sender="postmaster@mout3.freenet.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0B5AACv4UVWnF1cBMNegw/CI4M9glMCgTo8EAEBAQEBAQEBEAEBAQEBBg0JCSEugi2CCAEBBCNVEQsYAgIFFgsCAgkDAgECAUUTCAEBiBQBFgMBsBuLGwmBMgGDfwELIYEBilGEWU6CToFEBZZIAZY/BJMoOIJSgV6GLgEBAQ X-IPAS-Result: A0B5AACv4UVWnF1cBMNegw/CI4M9glMCgTo8EAEBAQEBAQEBEAEBAQEBBg0JCSEugi2CCAEBBCNVEQsYAgIFFgsCAgkDAgECAUUTCAEBiBQBFgMBsBuLGwmBMgGDfwELIYEBilGEWU6CToFEBZZIAZY/BJMoOIJSgV6GLgEBAQ X-IronPort-AV: E=Sophos;i="5.20,287,1444687200"; d="scan'208";a="153723934" Received: from mout3.freenet.de ([195.4.92.93]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Nov 2015 14:18:50 +0100 Received: from [195.4.92.141] (helo=mjail1.freenet.de) by mout3.freenet.de with esmtpa (ID misterherr@freenet.de) (port 25) (Exim 4.85 #1) id 1ZxEFd-00005m-2S for caml-list@inria.fr; Fri, 13 Nov 2015 14:18:49 +0100 Received: from localhost ([::1]:33178 helo=mjail1.freenet.de) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZxEFd-0004lA-0I for caml-list@inria.fr; Fri, 13 Nov 2015 14:18:49 +0100 Received: from mx17.freenet.de ([195.4.92.27]:50089) by mjail1.freenet.de with esmtpa (ID misterherr@freenet.de) (Exim 4.85 #1) id 1ZxEBy-0005zE-QW for caml-list@inria.fr; Fri, 13 Nov 2015 14:15:02 +0100 Received: from [2001:6f8:1c00:fb::2] (port=42897 helo=suse132-intel.home.loc) by mx17.freenet.de with esmtpsa (ID misterherr@freenet.de) (TLSv1.2:DHE-RSA-AES128-SHA:128) (port 465) (Exim 4.85 #1) id 1ZxEBy-00046a-JE for caml-list@inria.fr; Fri, 13 Nov 2015 14:15:02 +0100 To: caml-list@inria.fr References: <5645DC49.7050106@tu-berlin.de> From: "Mr. Herr" Message-ID: <5645E255.5060900@freenet.de> Date: Fri, 13 Nov 2015 14:15:01 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <5645DC49.7050106@tu-berlin.de> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Originated-At: 2001:6f8:1c00:fb::2!42897 Subject: Re: [Caml-list] Cyclic type abbreviation On 13.11.2015 13:49, Christoph H=C3=B6ger wrote: > Dear all, > > why is this type cyclic? > > type node =3D int * tree * tree > and tree =3D node option > > I cannot introduce a manifest for the option type, as there is no Option > module (why is that, btw?) - so I would assume option to be special > enough to be handled like any other algebraic data type. type 'a option =3D None | Some 'a no need for a module, just a simple type. Maybe you confound it with other = languages. And cyclic - well, the types are referring to each other. Summary: what is supposedly wrong with it? /Str.