From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Tiphaine.Turpin@free.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id 4F2EC7F1CB
	for <caml-list@sympa.inria.fr>; Sun, 11 Nov 2012 15:37:03 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Tiphaine.Turpin@free.fr) identity=pra; client-ip=212.27.42.1;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="Tiphaine.Turpin@free.fr";
  x-sender="Tiphaine.Turpin@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Tiphaine.Turpin@free.fr) identity=mailfrom;
  client-ip=212.27.42.1;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="Tiphaine.Turpin@free.fr";
  x-sender="Tiphaine.Turpin@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp1-g21.free.fr) identity=helo;
  client-ip=212.27.42.1;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="Tiphaine.Turpin@free.fr";
  x-sender="postmaster@smtp1-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AggBAHG3n1DUGyoBlGdsb2JhbABEw1QjAQEBAQkLCQkUAySCTCwlPRYYAwIBAgFYCAEBF4dcARaaHpYGCYoijziDJwOVfIVrjUg
X-IronPort-AV: E=Sophos;i="4.80,757,1344204000"; 
   d="scan'208";a="181005249"
Received: from smtp1-g21.free.fr ([212.27.42.1])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Nov 2012 15:36:58 +0100
Received: from [192.168.0.1] (bur91-2-82-231-161-160.fbx.proxad.net [82.231.161.160])
	(Authenticated sender: tiphaine.turpin)
	by smtp1-g21.free.fr (Postfix) with ESMTPA id 39DCA94003C
	for <caml-list@inria.fr>; Sun, 11 Nov 2012 15:36:54 +0100 (CET)
Message-ID: <509FB7DD.3030106@free.fr>
Date: Sun, 11 Nov 2012 15:36:13 +0100
From: Tiphaine Turpin <Tiphaine.Turpin@free.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.3) Gecko/20120501 Thunderbird/10.0.3
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] [ANN] RTT: Run-time types for OCaml

Hello,

I would like to announce the first release of RTT: an implementation of
run-time types for OCaml.

http://rtt.forge.ocamlcore.org/

Run-time types make it possible to write generic printers such as
to_string: 'a -> string (for all 'a) which is useful e.g., for
debugging. The present solution is implemented as a fully automatic
program transformation which supports polymorphism naturally, and is
rather orthogonal to other existing work regarding advanced "typed"
representation of types using GADTs (the representation used here is
untyped).

Using RTT amounts to calling Rtt.to_string, Rtt.pprint... with a
modification of the compilation command to invoke the rtt preprocessor.

This tool is experimental, does not support all OCaml features (GADTs,
objects...), and is unlikely to handle any real-world program readily,
but it can at least bootstrap itself or process most of the standard
library, and it shows the feasibility of this program-transformation
approach.

Any feedback is welcome.
Regards,

Tiphaine Turpin