From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <martin.potier@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 A66DEBC57
	for <caml-list@yquem.inria.fr>; Tue,  8 Jun 2010 23:29:55 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao8BAHJTDkxKfVK0kGdsb2JhbACSMIwMCBUBAQEBCQkMBxEDH68aCoF4hTUuiE8BAQMFhREEjTE
X-IronPort-AV: E=Sophos;i="4.53,386,1272837600"; 
   d="scan'208";a="60905155"
Received: from mail-wy0-f180.google.com ([74.125.82.180])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Jun 2010 23:29:55 +0200
Received: by wyb34 with SMTP id 34so4206191wyb.39
        for <caml-list@yquem.inria.fr>; Tue, 08 Jun 2010 14:29:55 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:reply-to
         :user-agent:mime-version:to:subject:content-type
         :content-transfer-encoding;
        bh=PNIxybs1Qyej/7MVM+yG13Dd/D6uFy6X7DLcBpYmCrg=;
        b=HrN/y4ab3BuwVO2UfkPZYPrmNMu3eA+ths9mUi9VYdIyB9KHhWwtS5mR1F0gmalBIo
         xtxO48s9jDaK03Sd1lqSMyITpx9Oa+jzQRH3aFf6skx1U2t1N++tdm7Sos1vDkDwgl/0
         bkynknUiJKmjQn0G75LEn1w3FJ7LgE1xFEXOc=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:reply-to:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        b=MM3eX2uSvVwn3moRkeZ9E/G/qiFiYdFFKtfVaf92ID0QhTlyb//KFr6atMKzYCm7th
         35eUV3mJKOaLQUJnyejohSfx+wdDLqkXtQMAGLL1lfy93aKDr+SdAReTGoD1jyyY18dR
         oXZ70CRMQmCRZSYjFvPJYs6r55NEXg3hvOzq4=
Received: by 10.227.144.146 with SMTP id z18mr991514wbu.131.1276032594898;
        Tue, 08 Jun 2010 14:29:54 -0700 (PDT)
Received: from [255.255.255.255] (sd-11284.dedibox.fr [88.191.62.226])
        by mx.google.com with ESMTPS id b17sm7115921wbd.13.2010.06.08.14.29.53
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Tue, 08 Jun 2010 14:29:54 -0700 (PDT)
Message-ID: <4C0EB650.6080603@gmail.com>
Date: Tue, 08 Jun 2010 23:29:52 +0200
From: Martin Potier <martin.potier@gmail.com>
Reply-To: martin.potier@gmail.com
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.9) Gecko/20100422 Shredder/3.0.4
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Subject: Caml typed  AST
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; typing:01 reuse:01 algorithm:01 caml:02 caml:02 ast:02 ast:02 typed:04 implement:06 i'd:06 i'd:06 interpreter:07 uses:07 function:08 research:12 

Dear List,

I have a school research assignment about defunctionalization.

I'd like to implement a defunctionalization algorithm for Caml, using
Caml, that's why I'd like to know if there is a way to retrieve a typped
AST from Caml.

I had a look at the option -dparsetree of the Caml interpreter, but it
doesn't fit my need for two reasons : first it's not typped, and second
it's not easily reusable.

In a way, I just want to "plug in" right after the typing of the Caml
AST in order to reuse it.

Does anyone know the Caml source well enough to point me to a place
where a function uses a typped AST ?

--
Martin Potier