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 A9B19800C2 for ; Fri, 10 Feb 2017 09:31:34 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kakadu.hafanana@gmail.com; spf=Pass smtp.mailfrom=kakadu.hafanana@gmail.com; spf=None smtp.helo=postmaster@mail-wr0-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kakadu.hafanana@gmail.com) identity=pra; client-ip=209.85.128.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kakadu.hafanana@gmail.com designates 209.85.128.173 as permitted sender) identity=mailfrom; client-ip=209.85.128.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="kakadu.hafanana@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-wr0-f173.google.com) identity=helo; client-ip=209.85.128.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kakadu.hafanana@gmail.com"; x-sender="postmaster@mail-wr0-f173.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AnPB7BReFUFRbW6HTVaKMDgihlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS7bB7h7PlgxGXEQZ/co6odzbGH7+awBydZuMfJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBq7oR/Su8QXjoduN7s9xx/UqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU063/chNBug61HoRKhvx1/zJDSYIGJL/p1Y6fRccoHSWZdQspdUipMCZ6+?= =?us-ascii?q?YYQSFeoMJeRXr4f9qVUArhWwGBeiC//0xz9UmnP7x7E23/g9HQzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKocVPq6zKrSwjrecvNdxDDw6IvSfRAiu/6DQK9wfdDRyUY1GQPKlFOQ?= =?us-ascii?q?ppbjPzyPzekNvG2b4PBhVeKrkWIotwZxoj22y8oql4LHiIUVylXe+iV4xoY4Pd?= =?us-ascii?q?K4SE9nYd6kDZtfrDuWOJdxQsMnRWxjpSU0yqUetJKlYCQHzI4ryh3fZvCdboSE?= =?us-ascii?q?/BHuWPyMLTp6in9ofq+0iQyo/ki60OL8U9G50FZUoSpBldnBrnUN2AbS6siDU/?= =?us-ascii?q?d88F2h1SqW2wDd9+1JI045mbDUK54mxb4wmZ4TvlrZEiDqn0X2ibeadkQi+ue2?= =?us-ascii?q?9+TqeqvqqoOYOoNuiQzzMr4iltGhDek7KAQCQmqW9Oqk2L3m50L5QbFKjvMskq?= =?us-ascii?q?netZDXPccbqbS6AwBPz4kj9gyzDze839QWh3YHKkhKeBSdgIXyNFHOJer3Dfa7?= =?us-ascii?q?g1i2jDhrwPXGMqX7AprRNnjDjKvhfbFl5kFA0gUzyNRf64tQCrEAO/LzRlT8tM?= =?us-ascii?q?fYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6GPWBaoEYvn7GLv8h5Pem?= =?us-ascii?q?2WQ8nlsedIGixt0cb2q+E/BiZUiVfCy/rM0GFDIptwk3QPGi3F6LUjdfejCyVq?= =?us-ascii?q?w14Dg9AaqpCI7CQsamh7nXj3TzJYFfem0TUgPEKnzvbYjRHq5UMC8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BDAQAqep1Yf62AVdFdDg0BAQEDAQEBC?= =?us-ascii?q?QEBARYBAQEDAQEBCQEBAYQIgQkHg1KcFIh8jDqCDS6FdAKCagdAFwEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBCQsLChsxgjMbAYIbAQUjHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGE?= =?us-ascii?q?4lfAQMVDqMSP4wCggMFARyDCQWDZAoZJw1VgzkBAQEBBgEBAQEcAgEFEnmKMId?= =?us-ascii?q?agl8FkD2LNYJYhBeLJYFjgW2NNZFOFB6BFSECgTIyHVEXhB6BUj49NYl7AQEB?= X-IPAS-Result: =?us-ascii?q?A0BDAQAqep1Yf62AVdFdDg0BAQEDAQEBCQEBARYBAQEDAQE?= =?us-ascii?q?BCQEBAYQIgQkHg1KcFIh8jDqCDS6FdAKCagdAFwEBAQEBAQEBAQEBEgEBCQsLC?= =?us-ascii?q?hsxgjMbAYIbAQUjHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGE4lfAQMVDqMSP4w?= =?us-ascii?q?CggMFARyDCQWDZAoZJw1VgzkBAQEBBgEBAQEcAgEFEnmKMIdagl8FkD2LNYJYh?= =?us-ascii?q?BeLJYFjgW2NNZFOFB6BFSECgTIyHVEXhB6BUj49NYl7AQEB?= X-IronPort-AV: E=Sophos;i="5.35,140,1484002800"; d="scan'208";a="212736256" Received: from mail-wr0-f173.google.com ([209.85.128.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Feb 2017 09:31:19 +0100 Received: by mail-wr0-f173.google.com with SMTP id i10so102213545wrb.0 for ; Fri, 10 Feb 2017 00:31:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=fw6sS7o3kxJXfYWrVuzkTvYMaXq/2P/RLyy+Kpp6eLc=; b=YSWRxLzHYC4mw16YwxQ9yg1Xk6QjFvNGjKhQnbECXCDsICu/SaU8oLCUE8YGW/gmiU ZuzEpg0amuNNuUCxISFFjrNiWATHQPwHaNTT0pTp+VdpL2pescEQzGqslEZ/4Ew/7UAr iPGVnLO09DjMqx9u82y2amGA7cA8UvVDL2z2EvJFWzdKFmhsFj3TJxYkPsl67aTi46aa WyEVUsSHCHMHbzEaGFem+/Ij12vq9stWkw2cM5OUMC0r8TnI0x1hq1Cww9KSVs22Vc3/ GzDoMjvyAZejbjJ8SLX1tG5Wy0AovXm9EXtUophXnMZ04/NgJDvxEDoUFKMpBfTmzBf3 ubCQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=fw6sS7o3kxJXfYWrVuzkTvYMaXq/2P/RLyy+Kpp6eLc=; b=NfJMxED5wUVtRa20p1VBJHWXXEhd6EKY+tiF/AWGP5oid8L1Ad6uoGTDOzo2zBjgzJ NQkGg7q2IppH3hWOVH3HyPO/TlwzkT1PhyRUTAFjCew/skdILD4kuHE/Kbah6Y2Oypcy WoAz20z49Wwjfwb+eeqfcekUWK77ArMyAWDQiWGp9ku0kugwCVYCMovUGdsfRLp+9ADg +6QeOJKFR36uBwx3qo7bGrmbspVved7tdL09m0YonTiI2Vc68p3Duhc8iHbZoa3Nceja u6neoJltfoQJ8bR2D6nPZmySGnojK5KRmMxrOGVlnxI5OOPo5g9UFsL7l9auxEHxxKSy 1uJw== X-Gm-Message-State: AMke39n9CFChz2RlwhMor6/zFgEMk3SL6S2mR6GAA5i7peLZIpgVG5YXxmilLBbK/8nbEtCHORUwqWzmnJ5/xw== X-Received: by 10.223.166.137 with SMTP id t9mr6435867wrc.15.1486715478662; Fri, 10 Feb 2017 00:31:18 -0800 (PST) MIME-Version: 1.0 Received: by 10.80.170.215 with HTTP; Fri, 10 Feb 2017 00:30:58 -0800 (PST) In-Reply-To: References: From: Kakadu Date: Fri, 10 Feb 2017 11:30:58 +0300 Message-ID: To: Steffen Smolka Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] extend object type? AFAIK it is not possible https://github.com/ocamllabs/compiler-hacking/wiki/Things-to-work-on#support-extending-existing-object-types Happy hacking, Kakadu On Fri, Feb 10, 2017 at 7:15 AM, Steffen Smolka wrote: > Is there syntax to conveniently extend object types? > Concretely, for types > > type t1 = < f : int > > type t2 = < f : int; g : bool > > > I would like a syntax that allows me to define t2 in terms of t1. > > Thanks! > -- Steffen