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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A50E97EE9C for ; Thu, 1 Dec 2016 10:22:54 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dmitry.bely@gmail.com; spf=Pass smtp.mailfrom=dmitry.bely@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dmitry.bely@gmail.com) identity=pra; client-ip=209.85.220.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmitry.bely@gmail.com"; x-sender="dmitry.bely@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of dmitry.bely@gmail.com designates 209.85.220.176 as permitted sender) identity=mailfrom; client-ip=209.85.220.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmitry.bely@gmail.com"; x-sender="dmitry.bely@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f176.google.com) identity=helo; client-ip=209.85.220.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dmitry.bely@gmail.com"; x-sender="postmaster@mail-qk0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AxESASBfBGJ/yofX4PCe1gHsIlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc66Yx7h7PlgxGXEQZ/co6odzbGH6Oa8ASdZu8bJ8ChbNscTB1ld0Y?= =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?= =?us-ascii?q?Ora9QdaK3Iyfntq/8JzLYghOmCH1IfYrdE33/k3tsZw9iI5mYoIw0QeB9nBBfu?= =?us-ascii?q?ATwWJzOXqSmQz974G+5sgw3T5XvqcN8s9cS7SyVak8XPQMADEnL3okosfmsQjr?= =?us-ascii?q?Qg6G539aWWITxEkbSzPZ5Q33C8+i+hDxsfBwjWzDZZX7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ASAQBl6z9YhrDcVdFdHgYMGQYMgw0BA?= =?us-ascii?q?QEBAYF6B60rigiCDoIFiBgHQRIBAQEBAQEBAQEBARIBAQEICwsJHTCCMwQBFQE?= =?us-ascii?q?Egi8RHQEbHgMSEA8CJgIkAREBBQEiGxqIMAEDF5wNggmBMj8yi1CCBAUBH4MNB?= =?us-ascii?q?YNeChknDVSDXQIGEnmFM4wogl0Fj2+KbYF4jxiBXAGOWJBAEx6BEyUBgSdVglY?= =?us-ascii?q?MNyCBazs0h3OBTwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ASAQBl6z9YhrDcVdFdHgYMGQYMgw0BAQEBAYF6B60rigi?= =?us-ascii?q?CDoIFiBgHQRIBAQEBAQEBAQEBARIBAQEICwsJHTCCMwQBFQEEgi8RHQEbHgMSE?= =?us-ascii?q?A8CJgIkAREBBQEiGxqIMAEDF5wNggmBMj8yi1CCBAUBH4MNBYNeChknDVSDXQI?= =?us-ascii?q?GEnmFM4wogl0Fj2+KbYF4jxiBXAGOWJBAEx6BEyUBgSdVglYMNyCBazs0h3OBT?= =?us-ascii?q?wEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,724,1477954800"; d="scan'208";a="247596547" Received: from mail-qk0-f176.google.com ([209.85.220.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Dec 2016 10:22:53 +0100 Received: by mail-qk0-f176.google.com with SMTP id q130so50768334qke.1 for ; Thu, 01 Dec 2016 01:22:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=9DvlkUuBwpHJaHerdkRpAicS3YjMn7bi4a2aIelPjVg=; b=iaLvAHwdKE1JzxpyNPMOO3gto4new4HhfoGp9tUJv7DpasJhKPSPrZ5+aLS1DEoGSb iNQubxJ6vszAmdHL/WMOOT6rE3RUXzHSq3HKUKTDLmelXmQiTqlHfDdkc5B1N4wAjuvc EnORoeAFkdKH15HtibtFMkoSgr8TyQGc3TBig7JsIoy2Uk2l+vIRY5GZcXFalJEJnCRZ UgoI3BBNze6JTBrHdnk6wNtwocW35fgUIwQNkP0ZOaWTwsF//rh977/dyEtNW1fV/VKi 6EgLxQWUnimlA1R2U/gdQ6DbtPKMqMcJkRexiUliMLHg1pOoU2zGNDNSRoQ0XLu/grQ2 rcwQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=9DvlkUuBwpHJaHerdkRpAicS3YjMn7bi4a2aIelPjVg=; b=DGQGfCoU9KsgoUj714La4kbYuEzK29vhl5jEcfZEUxeuEf1ciKeTmddx2wpPAMNGQZ X/LOv/wj9nYaGzJz/WQ89h8Y7PgLo75V/Fl6cOE+X5vRSH+4MrrUWTEftcXT8fKnZ0pg 9zrMEvNKFHrsglWWeWcKcNqswW71HqXRbHfRMgt1aKPzJKK0DsVXUmQZ0iF/ug0ESelv dAjOlfctXita44mQD9w/rpbqdEhryJK1/GgHUAcFHMpVKHbHkvyKKCET9kRAZVL/RWUs LI3cOJGWcK+kfho+HE5qSDrTf4Mgb5EddYaAmt7V+OTSLA9F0Efyn//ulbGQmI8LwMsH PO8A== X-Gm-Message-State: AKaTC03aiituMO3mMD4nkym1gZIgDALj6glxCn1ACYVnwW4+lJRAeyVqdPvVBourFNQwArrQnvr2mItSkCg8eQ== X-Received: by 10.55.6.14 with SMTP id 14mr32646371qkg.167.1480584172632; Thu, 01 Dec 2016 01:22:52 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.173.164 with HTTP; Thu, 1 Dec 2016 01:22:52 -0800 (PST) From: Dmitry Bely Date: Thu, 1 Dec 2016 12:22:52 +0300 Message-ID: To: Caml List Content-Type: text/plain; charset=UTF-8 Subject: [Caml-list] GADT memory representation I need to access/modify GADT data from C glue code. What is their memory representation? Is there any difference from ordinary sum types? Unfortunately OCaml manual doesn't even mention GADTs in section "Interfacing C with OCaml". - Dmitry Bely