From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <frederic.bour@lakaban.net>
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 C35567EE5B
	for <caml-list@sympa.inria.fr>; Tue, 13 May 2014 18:37:31 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  frederic.bour@lakaban.net) identity=pra;
  client-ip=94.23.239.155;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="frederic.bour@lakaban.net";
  x-sender="frederic.bour@lakaban.net";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  frederic.bour@lakaban.net designates 94.23.239.155 as
  permitted sender) identity=mailfrom; client-ip=94.23.239.155;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="frederic.bour@lakaban.net";
  x-sender="frederic.bour@lakaban.net";
  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.lakaban.net) identity=helo;
  client-ip=94.23.239.155;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="frederic.bour@lakaban.net";
  x-sender="postmaster@mail.lakaban.net";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqQEAPlJclNeF++b/2dsb2JhbABZFoM/gz/DFgGBOHSCJQEBBSMPAQUIAQE2Ag8LGAICBRYLAgIJAwIBAgFFBgEMCAEBiD0Eqx53g14BBZcfEQaBKo0rgnWBSwGbEIUrjCiDNw
X-IPAS-Result: AqQEAPlJclNeF++b/2dsb2JhbABZFoM/gz/DFgGBOHSCJQEBBSMPAQUIAQE2Ag8LGAICBRYLAgIJAwIBAgFFBgEMCAEBiD0Eqx53g14BBZcfEQaBKo0rgnWBSwGbEIUrjCiDNw
X-IronPort-AV: E=Sophos;i="4.97,1044,1389740400"; 
   d="scan'208";a="61698386"
Received: from lakaban.net (HELO mail.lakaban.net) ([94.23.239.155])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2014 18:37:31 +0200
Received: from [128.232.60.38] (chesterfield.sm.cl.cam.ac.uk [128.232.60.38])
	(Authenticated sender: defre@ygg-drasil.fr)
	by mail.lakaban.net (Postfix) with ESMTPSA id 6758A120000A;
	Tue, 13 May 2014 18:34:41 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=lakaban.net;
	s=default; t=1399998881;
	bh=E52QcT3GVK2nhwhelldrPfC8C7QKtGp1xGgCbhj/BbU=;
	h=Message-ID:Date:From:MIME-Version:To:Subject:References:
	 In-Reply-To:Content-Type:Content-Transfer-Encoding;
	b=lD6a09pMUyAb2aGk5yntiJrtxjS3aiItm1hSRTmsIm1ZxbIUmpIY0FoBAsSpxsXEh
	 rnj6SafAtyNWmfFPfYgq8oduEIhMI2k013D8AToeqoYbORw+GBCNehy6uUsY+n6oyD
	 I7alloW6P8lMQZYUfEFJljrR01P6J4F1uqzL3yPI=
Message-ID: <53724A49.5090902@lakaban.net>
Date: Tue, 13 May 2014 17:37:29 +0100
From: =?UTF-8?B?RnLDqWTDqXJpYyBCb3Vy?= <frederic.bour@lakaban.net>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.5.0
MIME-Version: 1.0
To: =?UTF-8?B?TWlsYW4gU3Rhbm9qZXZpxIc=?= <milanst@gmail.com>, 
 Caml List <caml-list@inria.fr>
References: <CAKR7PS92EjrW60hD3+MCUpaog1abdSsByi-H+RCg1iOWrcT_NQ@mail.gmail.com>
In-Reply-To: <CAKR7PS92EjrW60hD3+MCUpaog1abdSsByi-H+RCg1iOWrcT_NQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] open extensible types representation

Hi,

You might be interested in the following text:

     http://yawdp.com/~def/exn_en.txt

It's a draft about the encoding of exceptions, but open-types are also 
covered at the end.

(Beware, it has not been reviewed, use at your own risk :))

On 05/13/2014 04:53 PM, Milan Stanojević wrote:
> 4.02 will have extensible data types.
>
> What is the runtime representation of an extensible data type?
>
> Thanks!
>