From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <omeragacan@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 416347FCCB
	for <caml-list@sympa.inria.fr>; Fri,  1 May 2015 18:53:51 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  omeragacan@gmail.com) identity=pra; client-ip=74.125.82.53;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="omeragacan@gmail.com";
  x-sender="omeragacan@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  omeragacan@gmail.com designates 74.125.82.53 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.53;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="omeragacan@gmail.com";
  x-sender="omeragacan@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wg0-f53.google.com) identity=helo;
  client-ip=74.125.82.53;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="omeragacan@gmail.com";
  x-sender="postmaster@mail-wg0-f53.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BJAgALr0NVlDVSfUpchDsFgxjCYIdYAoFTBzoSAQEBAQEBAREBAQEBBwsLCR8whCEBAQMBEhEdARsdAQMBCwYFCw8CJgICIgERAQUBHAY1h3QBAwkIp1g+MYs5gWuCdohXChknDVWEQwEBAQEBBQEBAQEBFwEFDoETiheFBQeCaIFFBZw5lDMSI4EMCYQzIjGCRQEBAQ
X-IPAS-Result: A0BJAgALr0NVlDVSfUpchDsFgxjCYIdYAoFTBzoSAQEBAQEBAREBAQEBBwsLCR8whCEBAQMBEhEdARsdAQMBCwYFCw8CJgICIgERAQUBHAY1h3QBAwkIp1g+MYs5gWuCdohXChknDVWEQwEBAQEBBQEBAQEBFwEFDoETiheFBQeCaIFFBZw5lDMSI4EMCYQzIjGCRQEBAQ
X-IronPort-AV: E=Sophos;i="5.13,351,1427752800"; 
   d="scan'208";a="138484038"
Received: from mail-wg0-f53.google.com ([74.125.82.53])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 May 2015 18:53:50 +0200
Received: by wgso17 with SMTP id o17so95637074wgs.1
        for <caml-list@inria.fr>; Fri, 01 May 2015 09:53:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type;
        bh=dtLE2nC/f+o7vCaUZNy8BeBaHnTVaBhTP8qwI0n2Zws=;
        b=sENN9RxazNIugIVADNMOMWrt9Cs1bwYBZMOHyEoAl3SDVPHTDSRWGrg1p+8cK05iUd
         iSxZswHO0n9qxI4C7w/SystFu0iETnGJcw0XrtTwwlRb/ztzBmlGkwed4/vohgtE+NvG
         lHOB2nR9abnIyx/Av7a2vIENsPIj1NTqLgXR353D1CmLrXIwQqD5UwZ2Wp19KCkSB8Wb
         xCVZFMYS0gDBBFQUj4w5VKVcXQlrrud5v+x75OQKx1NSSsqMpY0savaYMM1P0EXMYYQl
         P1NIKN8mrq079gexjM4S02/ZZCUnIiaFY7G4lFtsGyQY/yXgycF4/OSrLW6W0sBy5ptS
         E7yw==
X-Received: by 10.180.91.76 with SMTP id cc12mr16214293wib.67.1430499230870;
 Fri, 01 May 2015 09:53:50 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.194.187.212 with HTTP; Fri, 1 May 2015 09:53:10 -0700 (PDT)
In-Reply-To: <1430498707.1164081.261525093.47AD6B00@webmail.messagingengine.com>
References: <CAMQQO3ngKhpyTm74ouh32QfLREp2T2B7r8SyjCnziLor7dgT=A@mail.gmail.com>
 <20150501112114.1C8DFC382A@www1.g3.pair.com> <CAMQQO3=nirMojoCsdGvK0EVov6FZj059p3xdUC7h8w84-eQXAQ@mail.gmail.com>
 <1430496980.1158661.261513285.08E1920C@webmail.messagingengine.com>
 <CAMQQO3n1Uw_fNN0kdGtwscRLWqtafOVTz2zkjL6rW66vOGBBxg@mail.gmail.com> <1430498707.1164081.261525093.47AD6B00@webmail.messagingengine.com>
From: =?UTF-8?Q?=C3=96mer_Sinan_A=C4=9Facan?= <omeragacan@gmail.com>
Date: Fri, 1 May 2015 12:53:10 -0400
Message-ID: <CAMQQO3mn=p8FRRctG41daqUFRSF+sstemSjEXTU-UXdc6ENJvw@mail.gmail.com>
To: Leo White <leo@lpw25.net>
Cc: OCaml Mailing List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [Caml-list] Problems with printing MetaOCaml generated code

> You can't serialize `eval_ref` as `eval_ref` because that is a local
> identifier. If you print out `eval_ref` into some other ml file and compiler
> it, it is going to give an "Unbound identifier eval_ref" error.

That's true. Just to make sure and make the output more clear, I moved the
relevant code to another module, and now it's printing this:

.<Unlambda.eval_ref (* CSP p' *) []>.

My main question is that it should serialize p' here, but it doesn't. I'm
trying to understand why.