From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 6F1C67FCCB for ; Fri, 1 May 2015 18:45:09 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.25; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.25; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@out1-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.25; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out1-smtp.messagingengine.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CFAQCyrENVnBkEb0JchDuDHcJeh1gCgVo6EgEBAQEBAQERAQEBAQEGDQkJIS6EIQEBBCMdOQEPCxgCAiYCAiwbEAYTiCuzEnCEZ45DAQEBAQEBAQMBAQEBAQEBFQaBIYoXhFIzB4JoL4EWsjuEMyIxgkUBAQE X-IPAS-Result: A0CFAQCyrENVnBkEb0JchDuDHcJeh1gCgVo6EgEBAQEBAQERAQEBAQEGDQkJIS6EIQEBBCMdOQEPCxgCAiYCAiwbEAYTiCuzEnCEZ45DAQEBAQEBAQMBAQEBAQEBFQaBIYoXhFIzB4JoL4EWsjuEMyIxgkUBAQE X-IronPort-AV: E=Sophos;i="5.13,351,1427752800"; d="scan'208";a="138483076" Received: from out1-smtp.messagingengine.com ([66.111.4.25]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 May 2015 18:45:08 +0200 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id 3BD1A2074E for ; Fri, 1 May 2015 12:45:08 -0400 (EDT) Received: from web3 ([10.202.2.213]) by compute5.internal (MEProxy); Fri, 01 May 2015 12:45:08 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=lpw25.net; h=cc :content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=iD+zySPTrHtNC9z28Sdl7+sIU4I=; b=N5KZLL DCo5Spm+zEfSzahUrgmEq5dDuvbXrDsx3g8MgJemwvMoRz/ho9p+mLGa3w7Y63JH HnhimJlAxLgeMeiXvG2ltT0vC3UZfs+cMpS5Xjz2ddN0NeAVyYcm6U3+i6VGRu7f 4i1aEbASh0qQqDQA7beo88IB0sPbjCHY/1yJQ= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=iD+zySPTrHtNC9z 28Sdl7+sIU4I=; b=cfVQVOuiR83GSoEadujzjRIL/6ZJ/ymDUnA5a/97e7XcBIP kjWtTEbDJU1XdGB/IJ+9hY4CZVXjXx1auUK78YcuE/R1HaUJ4m4ZcMfrRL8P0G9x CF42Q7rJJXp7h+1ezaO3Jgip4DS1fUnvd2AJp+hxDKRaULfuWKcS8Y2EmMrk= Received: by web3.nyi.internal (Postfix, from userid 99) id 120D010B4E2; Fri, 1 May 2015 12:45:08 -0400 (EDT) Message-Id: <1430498707.1164081.261525093.47AD6B00@webmail.messagingengine.com> X-Sasl-Enc: 3uUSFB0ah3kwyj65xgJBFP1ssu7yoHpPhKWhC2IS+6Fr 1430498707 From: Leo White To: =?utf-8?Q?=C3=96mer=20Sinan=20A=C4=9Facan?= Cc: OCaml Mailing List MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" X-Mailer: MessagingEngine.com Webmail Interface - ajax-f5f4dd6c Date: Fri, 01 May 2015 12:45:07 -0400 In-Reply-To: References: <20150501112114.1C8DFC382A@www1.g3.pair.com> <1430496980.1158661.261513285.08E1920C@webmail.messagingengine.com> Subject: Re: [Caml-list] Problems with printing MetaOCaml generated code On Fri, 1 May 2015, at 12:41 PM, =C3=96mer Sinan A=C4=9Facan wrote: > 2015-05-01 12:16 GMT-04:00 Leo White : > > From a quick look at the code, it seems pretty clear that `eval_ref` is= not serializable. > > It is a local function so there is no AST fragment which could represen= t it globally. I > > suspect that if you moved `eval_ref` into a separate module, so that it= was > > a global function, then this code would work. >=20 > It should serialize `p'`, not `eval_ref`, I'd expect serialization of > `eval_ref` to be the identifier `eval_ref`. You can't serialize `eval_ref` as `eval_ref` because that is a local identi= fier. 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. Regards, Leo