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 AB459800BE for ; Fri, 10 Feb 2017 05:15:34 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sjs429@cornell.edu; spf=Pass smtp.mailfrom=sjs429@cornell.edu; spf=Pass smtp.helo=postmaster@limerock02.mail.cornell.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sjs429@cornell.edu) identity=pra; client-ip=128.84.13.242; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sjs429@cornell.edu"; x-sender="sjs429@cornell.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of sjs429@cornell.edu designates 128.84.13.242 as permitted sender) identity=mailfrom; client-ip=128.84.13.242; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sjs429@cornell.edu"; x-sender="sjs429@cornell.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@limerock02.mail.cornell.edu designates 128.84.13.242 as permitted sender) identity=helo; client-ip=128.84.13.242; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="sjs429@cornell.edu"; x-sender="postmaster@limerock02.mail.cornell.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AQw3haRLlxKcuHm3G69mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLvjxwZ3uMQTl6Ol3ixeRBMOAuq4C27Sd7f6ocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDWwbalxIRi3ognct8gbipZ+J6gszRfEvmFGcP?= =?us-ascii?q?lMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLD?= =?us-ascii?q?QheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlS?= =?us-ascii?q?UJOCMj8GzPisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCAfcdPelGoYn9qUUBrR2jDgexAePvzTtIhnzs0qYn1OkhCgTG3AskH9INqn?= =?us-ascii?q?vZt8n6NLwIXe+py6nI1zPDYO1S2Tf58oTHbA0uoeyVUL92bMHfylEvGhvYglmO?= =?us-ascii?q?qoHpJTCY2+sXv2SG4edsT/yjhmE5pw1pvDSj2sMhhpPKi48V0FzI6zh1zJovKd?= =?us-ascii?q?GlTEN2YtipG4ZKuS6ALYt5WMYiTnlouCkkzr0Gvoa2fCwLyJQi2RHfcfuHfJSL?= =?us-ascii?q?4h7/SuqdOzJ4i2hkeLK7nRq97U+gyvf6Vsaq1FZKqjBJncfRuXAQzxDT686HRe?= =?us-ascii?q?Vh/kq5xDqDyQPe5vtHLE07j6bXNpAszqQumpccr0jPBir2l1/3jK+SeEUk4O+o?= =?us-ascii?q?6+H/b7X9pJ+cLIB5hh/6P6k1hsO/Bv44Mg4QUGif/eSwzqPs8lDkQLlSlP05jr?= =?us-ascii?q?HZsIzGJcQcvqO2HxVa0oMn6xqmCzem0c8YnWUcIVJeeBOHipDpNEvULPD5C/e/?= =?us-ascii?q?mVWsny1xy/DIJL2ySqnKeyzImbLlOLJ88FJ0yQwpzNkZ6YgCWZ8bJ/emYVP8ut?= =?us-ascii?q?LVCFcCNguwwO+vXM540YcdUEqEGemSN7nUvFuMoO8jPr/fN8cupD/hJq19tLbV?= =?us-ascii?q?hngjlApFcA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNGAAgPp1Yh/INVIBeHAEXAQYBCwEXA?= =?us-ascii?q?QYBhFADOINSgTaJRJN7AZJUgg2JCAdGEQEBAQEBAQEBAQEBEgEBAQoLCQodL0I?= =?us-ascii?q?BAQEBAQEGAgKBYRmCFDNnDQECBTcCJBIBBQEiigcFn3+DQD+MAoIliA4Hg3QSk?= =?us-ascii?q?EmCOoJfAQSQQYUThh6SFIFjAY8hkU4UHoEVOAGBHB8TCBcTUwWDZAGCYoNEFoE?= =?us-ascii?q?BhXQBAQE?= X-IPAS-Result: =?us-ascii?q?A0BNGAAgPp1Yh/INVIBeHAEXAQYBCwEXAQYBhFADOINSgTa?= =?us-ascii?q?JRJN7AZJUgg2JCAdGEQEBAQEBAQEBAQEBEgEBAQoLCQodL0IBAQEBAQEGAgKBY?= =?us-ascii?q?RmCFDNnDQECBTcCJBIBBQEiigcFn3+DQD+MAoIliA4Hg3QSkEmCOoJfAQSQQYU?= =?us-ascii?q?Thh6SFIFjAY8hkU4UHoEVOAGBHB8TCBcTUwWDZAGCYoNEFoEBhXQBAQE?= X-IronPort-AV: E=Sophos;i="5.35,138,1484002800"; d="scan'208,217";a="212717098" Received: from limerock02.mail.cornell.edu ([128.84.13.242]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Feb 2017 05:15:16 +0100 X-CornellRouted: This message has been Routed already. Received: from exchange.cornell.edu (sf-e2013-02.exchange.cornell.edu [10.22.40.49]) by limerock02.mail.cornell.edu (8.14.4/8.14.4_cu) with ESMTP id v1A4FEDe008265 for ; Thu, 9 Feb 2017 23:15:15 -0500 Received: from sf-e2013-10.exchange.cornell.edu (10.22.40.57) by sf-e2013-02.exchange.cornell.edu (10.22.40.49) with Microsoft SMTP Server (TLS) id 15.0.1210.3; Thu, 9 Feb 2017 23:15:04 -0500 Received: from mail-wj0-f198.google.com (209.85.210.198) by exchange.cornell.edu (10.22.40.57) with Microsoft SMTP Server (TLS) id 15.0.1210.3 via Frontend Transport; Thu, 9 Feb 2017 23:15:04 -0500 Received: by mail-wj0-f198.google.com with SMTP id ez4so5287608wjd.2 for ; Thu, 09 Feb 2017 20:15:14 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=T4D+QWK4iuXSeT9aUsjKwBlPWWoWFQKtpMJ2InTV27g=; b=mBrqwGHrndQJY64w5gfUZKJy26D1SRnZHhe6ZLLFlxcQZjTLG0rbBG439dZPc97jNf NASPY6aQtjQrdS1p4TkckoV7DuiAIZs0rlH6kST6XiYrpbIhGxCUF5x/ero6yhbbKvn5 KnugLxYvUcbq+DZ6aZZLgOb53K0NgZdAFW891YK/gWEoMHIpET8scbhpsG2+icpKttT5 N6SOJSn8jZxjPneKy2Kxm9w4lp5MC9fCj0Dz9n+JVMp7GpIju+hvN5bbRYNLWggpXxD9 51iqsqYGXszgsh0aMO4/s2t1Fv9LG3YJYohkR8fm1ECYtoUctvhoheO+AH6/DllTiI1E YDGw== X-Gm-Message-State: AMke39lGOlYVKzJ9Dj5G/WfioyE3+1y+cImHBmf7FL2O1Oa57ytIe841R48VxxsCosHNoXDamSKIAMvZ7XfAodw3qIr2k0fIEkroZflkEFRnlRKSBSGMABJJ/U3DqT71BxCRJhq0si8CZ39aWiPvHqLg2i6KQwu6NQ== X-Received: by 10.28.61.136 with SMTP id k130mr5385681wma.128.1486700113382; Thu, 09 Feb 2017 20:15:13 -0800 (PST) X-Received: by 10.28.61.136 with SMTP id k130mr5385667wma.128.1486700112944; Thu, 09 Feb 2017 20:15:12 -0800 (PST) MIME-Version: 1.0 Sender: Received: by 10.28.87.132 with HTTP; Thu, 9 Feb 2017 20:15:12 -0800 (PST) From: Steffen Smolka Date: Thu, 9 Feb 2017 20:15:12 -0800 X-Google-Sender-Auth: 7XYNQNmDQTw4Qtd08gdUC4o0gHg Message-ID: To: Content-Type: multipart/alternative; boundary="001a114b75601eb36f054825581d" X-ORG-HybridRouting: fd57830f79e43fc793464d1603708654 X-ORG-RouteOnPrem: False X-ORG-MsgSource: cmail X-PMX-CORNELL-AUTH-RESULTS: dkim-out=none; Subject: [Caml-list] extend object type? --001a114b75601eb36f054825581d Content-Type: text/plain; charset="UTF-8" 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 --001a114b75601eb36f054825581d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Is there syntax to conveniently extend object types?
C= oncretely, for types

type t1 =3D < f : int >=
type t2 =3D < f : int; g : bool >

I would like a syntax that allows me to define t2 in terms of t1.

Thanks!
-- Steffen
--001a114b75601eb36f054825581d--