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 692447EE51 for ; Tue, 21 May 2013 13:15:25 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of cppcrazy@gmail.com) identity=pra; client-ip=209.85.212.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cppcrazy@gmail.com"; x-sender="cppcrazy@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of cppcrazy@gmail.com designates 209.85.212.43 as permitted sender) identity=mailfrom; client-ip=209.85.212.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cppcrazy@gmail.com"; x-sender="cppcrazy@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-vb0-f43.google.com) identity=helo; client-ip=209.85.212.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="cppcrazy@gmail.com"; x-sender="postmaster@mail-vb0-f43.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmQCAOtWm1HRVdQrjWdsb2JhbABZhiwBv18IFg4BAQEBBwsLCRIGJIIfAQEFQAE4AQMMAQUFCw0uIhIBBQEcBhOHewMPnhGPPIVIJw2IUwEFDJJwA5c4j1sWKYFdglo6 X-IPAS-Result: AmQCAOtWm1HRVdQrjWdsb2JhbABZhiwBv18IFg4BAQEBBwsLCRIGJIIfAQEFQAE4AQMMAQUFCw0uIhIBBQEcBhOHewMPnhGPPIVIJw2IUwEFDJJwA5c4j1sWKYFdglo6 X-IronPort-AV: E=Sophos;i="4.87,714,1363129200"; d="scan'208";a="15127536" Received: from mail-vb0-f43.google.com ([209.85.212.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 May 2013 13:15:24 +0200 Received: by mail-vb0-f43.google.com with SMTP id e15so305792vbg.2 for ; Tue, 21 May 2013 04:15:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; bh=VcchijV8phEmwRgQpAIfsYYToSwYx/N12qJtIdopVFM=; b=Xz/X9B+hU9vgS+vfdAf87GGJv++slB8pW8H6Te3hmXQ65kYMiS+lWwKQALLoPM2u4U dSO7e8fnP3y8VQdsZ7/IdEOZlh06vTyDUCluswaRX7dPxiPRDYpmPIhB0tymGCIOUabK QakaqFmfQUuqqfFjt2SJVW406nO/dDkfiqxlXFYuYPZd02eH2dJ0J08AnAvpLQQmIEiR 5QbfBXpUhPAZ40D4gyfkqJHX1Sly1vxBJwRR881kNQkKYg/oE/51QJTnRXcEUVhu2P7F hxbQ06PgVSAn2ml9Y2MaYP4SZ/NJkpdpA1rhrRKGruv614Nz3wNG9wU7g3kiDczWUf0T qdbA== X-Received: by 10.59.2.199 with SMTP id bq7mr646331ved.51.1369134923468; Tue, 21 May 2013 04:15:23 -0700 (PDT) MIME-Version: 1.0 Reply-To: boris@yakobowski.org Sender: cppcrazy@gmail.com Received: by 10.220.218.15 with HTTP; Tue, 21 May 2013 04:15:03 -0700 (PDT) In-Reply-To: <519B2F64.6070805@frisch.fr> References: <1369060290.43256.YahooMailNeo@web120405.mail.ne1.yahoo.com> <519B2F64.6070805@frisch.fr> From: Boris Yakobowski Date: Tue, 21 May 2013 13:15:03 +0200 X-Google-Sender-Auth: YQCcrZIj9sblK_AN5wCbIOP_8PM Message-ID: To: Alain Frisch Cc: Dario Teixeira , OCaml mailing-list Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: boris@yakobowski.org Subject: Re: [Caml-list] The rec/nonrec debate On Tue, May 21, 2013 at 10:25 AM, Alain Frisch wrote: > What's missing, in my opinion, is not really a way to control recursiveness > of type declarations, but rather to refer to components from outer scopes. We (the Frama-C team) tend to agree with this analysis. Within Frama-C, most types are called "t" because of signature constraints, and the impossibility to refer to a previous instances of t is a real problem. -- Boris