From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
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 2A2E67FD2F
	for <caml-list@sympa.inria.fr>; Fri, 24 Feb 2017 09:41:33 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.35,200,1484002800"; 
   d="scan'208";a="214567504"
Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 24 Feb 2017 09:41:32 +0100
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.87)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1chBRU-0002Hn-Ol
	for caml-list@inria.fr; Fri, 24 Feb 2017 09:41:32 +0100
Date: Fri, 24 Feb 2017 09:41:32 +0100
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20170224084132.eqmfxs2fvwe6emxw@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <CABooLwOsurM8bsdUzz0AkaaKiuxWqHdE7H62bcEAnZs1=3HMzg@mail.gmail.com>
 <CALdWJ+zWf-H28K7Y-kxLs3ddh5_RsJrG8gV9RG5aX0k5DRBzhA@mail.gmail.com>
 <CABooLwP25k_nJ0uBGuYaDmbsAd4cT+3N6UgVwbDR8CThP9R2Eg@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <CABooLwP25k_nJ0uBGuYaDmbsAd4cT+3N6UgVwbDR8CThP9R2Eg@mail.gmail.com>
Subject: Re: [Caml-list] OCamldebug

Tom Ridge (2017/02/23 16:49 +0000):
> Regarding `#install_printer`, can you explain more? The type
> "Key_value_types.key" is equal to string (in this particular case).
> However, this type is produced via module application, and so I cannot
> construct a printer that can print values of type "Key_value_types.key"
> before program execution (which seems to be required for
> #install_printer).

Can't you add the pretty-printer to the module, actually?

Sébastien.