From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <francois.pottier@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 A332A800B6
	for <caml-list@sympa.inria.fr>; Wed,  4 Jan 2017 16:37:41 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.33,459,1477954800"; 
   d="scan'208";a="206951062"
Received: from dt-64014.paris.inria.fr (HELO [128.93.64.14]) ([128.93.64.14])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 04 Jan 2017 16:37:41 +0100
To: Gabriel Scherer <gabriel.scherer@gmail.com>
References: <9576980c-9aad-4af2-e512-dc9c42743cf2@inria.fr>
 <CAPFanBFfXpF-G9DK7io8c0hR2DT2rA=DwK8F0pC5Ffw7HvHFmg@mail.gmail.com>
Cc: Peter Zotov <whitequark@whitequark.org>, caml users <caml-list@inria.fr>
From: =?UTF-8?Q?Fran=c3=a7ois_Pottier?= <francois.pottier@inria.fr>
Message-ID: <78c6cc72-a165-dff1-2ed3-3afa66088ef0@inria.fr>
Date: Wed, 4 Jan 2017 16:37:41 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.5.1
MIME-Version: 1.0
In-Reply-To: <CAPFanBFfXpF-G9DK7io8c0hR2DT2rA=DwK8F0pC5Ffw7HvHFmg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] ppx_deriving question: deferring code generation?


Hello Gabriel,
On 04/01/2017 14:49, Gabriel Scherer wrote:
> (If we had access to the type-checking environment,

Indeed, that is the question. As far as I understand, the whole ppx 
system today is purely syntactic, and there is no way of looking up
the definition of a type. Or is there?

-- 
François Pottier
francois.pottier@inria.fr
http://gallium.inria.fr/~fpottier/