From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7254FBC57 for ; Fri, 30 Apr 2010 16:18:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYDAP+C2kvB/Bd4k2dsb2JhbACdIBUBAQEBCQkKCREDH75QhRIE X-IronPort-AV: E=Sophos;i="4.52,302,1270418400"; d="scan'208";a="58258678" Received: from smtp-msa-out01.orange.fr ([193.252.23.120]) by mail1-smtp-roc.national.inria.fr with ESMTP; 30 Apr 2010 16:18:06 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf5a04.orange.fr (SMTP Server) with ESMTP id B35811C003B5; Fri, 30 Apr 2010 16:18:05 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf5a04.orange.fr (SMTP Server) with ESMTP id A18451C006B9; Fri, 30 Apr 2010 16:18:05 +0200 (CEST) Received: from [192.168.1.90] (APuteaux-154-1-78-233.w83-204.abo.wanadoo.fr [83.204.241.233]) by mwinf5a04.orange.fr (SMTP Server) with ESMTP id 51C121C003B5; Fri, 30 Apr 2010 16:18:05 +0200 (CEST) X-ME-UUID: 20100430141805335.51C121C003B5@mwinf5a04.orange.fr X-ME-User-Auth: lexifi Message-ID: <4BDAE6A2.1060902@frisch.fr> Date: Fri, 30 Apr 2010 16:18:10 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.1.9) Gecko/20100317 Thunderbird/3.0.4 MIME-Version: 1.0 To: Emmanuel Dieul Cc: caml-list@inria.fr Subject: Re: [Caml-list] Some obsolete constructions ? References: <4BDAD9C7.5060501@free.fr> In-Reply-To: <4BDAD9C7.5060501@free.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 pcf:01 afaik:01 pexp:01 letmodule:01 pexp:01 ppat:01 wrote:01 caml-list:01 inherit:01 alain:01 alain:01 expression:02 override:03 On 04/30/2010 03:23 PM, Emmanuel Dieul wrote: > - Pcf_let : a let construction as a class field ? AFAIK, this one is obsolete. > - Pexp_letmodule : ? let module L = List in ();; > - Pexp_override : an override expression ? object(this) method m = {< >} end;; > - Ppat_type : a type pattern matching ? type t = [`A];; fun #t -> ();; > - Rinherit : an inherit row field ? type t = [`A];; type s = [t | `B];; -- Alain