From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ygrekheretix@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id BCFDFBC37
	for <caml-list@yquem.inria.fr>; Fri, 12 Feb 2010 22:29:43 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqsBACdXdUvRVdrjkGdsb2JhbACRI4ITh0MIFQEBAQEJCQwHEwMgsBKBSoRFiHIBAQMFB4RMBA
X-IronPort-AV: E=Sophos;i="4.49,463,1262559600"; 
   d="scan'208";a="52672554"
Received: from mail-bw0-f227.google.com ([209.85.218.227])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 12 Feb 2010 22:29:43 +0100
Received: by bwz27 with SMTP id 27so854543bwz.10
        for <caml-list@inria.fr>; Fri, 12 Feb 2010 13:29:43 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:date:from:to:cc:subject
         :message-id:in-reply-to:references:x-mailer:mime-version
         :content-type:content-transfer-encoding;
        bh=qa5yp11B4tAv6eLVKkoKGRsRKqdt8aCoPRv8X8Zs2zM=;
        b=w1U5x5FfPBiahdTwoSeGk4ym4sOcz+3ZaFGE0T0+V2DFyBotR7jGtxAZyD35gOUbLg
         kQZrKyLJMztuRzCJyRpNHRn02dlg1p32y69JRVFI5dsU1TV9OdORI5jTJ1JY3/DKjfzG
         ACJJJFDRDSPtvDLVYaWkIF/IxzScXtJ0bXWqM=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=date:from:to:cc:subject:message-id:in-reply-to:references:x-mailer
         :mime-version:content-type:content-transfer-encoding;
        b=BdrCZ9O7sFeWHWwWWyDAjGHr2wlKFTZrHjTDmYkiKEo0yLDyIEPNlNprc2VU/Ukh8j
         pjpT3Xe75Kb0lq3WIpZGHnpqcBGaCduCRbKC3tE3IwVMp3/wH4UMUr5eSDGbWSVb/TVb
         RRWckPE/yHtZ80uwPZLh6TekFtIept5kV8yYs=
Received: by 10.204.14.84 with SMTP id f20mr1218651bka.209.1266010183082;
        Fri, 12 Feb 2010 13:29:43 -0800 (PST)
Received: from lemon (73-48-133-95.pool.ukrtel.net [95.133.48.73])
        by mx.google.com with ESMTPS id 13sm1742104bwz.2.2010.02.12.13.29.41
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Fri, 12 Feb 2010 13:29:42 -0800 (PST)
Date: Fri, 12 Feb 2010 23:29:36 +0200
From: ygrek <ygrekheretix@gmail.com>
To: Jon Harrop <jon@ffconsultancy.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] deriving show
Message-Id: <20100212232936.77ff1807.ygrekheretix@gmail.com>
In-Reply-To: <201002121954.50954.jon@ffconsultancy.com>
References: <201002121954.50954.jon@ffconsultancy.com>
X-Mailer: Sylpheed 2.5.0 (GTK+ 2.12.12; i486-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; iirc:01 ocaml:01 variants:01 variants:01 endline:01 polymorphic:01 wrote:01 caml-list:01 variant:02 macro:03 fri:05 deriving:07 deriving:07 definition:07 0000:91 

On Fri, 12 Feb 2010 19:54:50 +0000
Jon Harrop <jon@ffconsultancy.com> wrote:

> 
> IIRC, there is an OCaml macro that will autogenerate the code to print values 
> of a variant type from the type definition. Does it handle polymorphic 
> variants?

Yes, but one needs to write out the type (as in the case with the closed variants) :

type t = [ `A of t | `B ] deriving (Show)
print_endline (Show.show<t>(`A `B))

-- 
 ygrek
 http://ygrek.org.ua