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 E08247EE5C
	for <caml-list@sympa.inria.fr>; Tue, 13 May 2014 19:51:34 +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: AjQGAGVaclNeF++b/2dsb2JhbABZFoM/gnZJwxYBgTl0giUBAQUMFw8BBQgBATYCDwkCGAICBQwKCwICCQMCAQIBRQYBDAgBAYg9BI9tmyd3g14BBYF3lSgRBoEqjSsKgmuBSwGbEIUrjCiDNw
X-IPAS-Result: AjQGAGVaclNeF++b/2dsb2JhbABZFoM/gnZJwxYBgTl0giUBAQUMFw8BBQgBATYCDwkCGAICBQwKCwICCQMCAQIBRQYBDAgBAYg9BI9tmyd3g14BBYF3lSgRBoEqjSsKgmuBSwGbEIUrjCiDNw
X-IronPort-AV: E=Sophos;i="4.97,1044,1389740400"; 
   d="scan'208";a="61705741"
Received: from lakaban.net (HELO mail.lakaban.net) ([94.23.239.155])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2014 19:51:34 +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 E7199120000A;
	Tue, 13 May 2014 19:48:43 +0200 (CEST)
DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=lakaban.net;
	s=default; t=1400003323;
	bh=Af2srDkbW9J+JIb1pBYKjzhbM5HG/O/ZpA7IH6SbUeU=;
	h=Message-ID:Date:From:Reply-To:MIME-Version:To:Subject:References:
	 In-Reply-To:Content-Type:Content-Transfer-Encoding;
	b=ch4iNx3GaT0l2k3QmNVHTAvmUkm9bl3gws3h9le98WF6ujatjFC8IAj3c/7yphiBC
	 4GU/6sGXtkVdE2x0vZr4Fp3Sba9MJdemdh6dP16kuB+cIt1dwJwc+cXfTJ65WmviXy
	 XunhIh/NW26sAtm7VR5B+a9TcmlyJqiyOVXSXMvU=
Message-ID: <53725BA4.2000900@lakaban.net>
Date: Tue, 13 May 2014 18:51:32 +0100
From: =?UTF-8?B?RnLDqWTDqXJpYyBCb3Vy?= <frederic.bour@lakaban.net>
Reply-To: =?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> <53724A49.5090902@lakaban.net>
In-Reply-To: <53724A49.5090902@lakaban.net>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] open extensible types representation

I updated the document to take into account a change in the 
representation of exception values without parameters.

On 05/13/2014 05:37 PM, Frédéric Bour wrote:
> 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!
>>
>
>