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 85F747FC73 for ; Sun, 15 Mar 2015 21:08:22 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of j.romildo@gmail.com) identity=pra; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.romildo@gmail.com"; x-sender="j.romildo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of j.romildo@gmail.com designates 209.85.192.42 as permitted sender) identity=mailfrom; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.romildo@gmail.com"; x-sender="j.romildo@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-qg0-f42.google.com) identity=helo; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="j.romildo@gmail.com"; x-sender="postmaster@mail-qg0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C4AABK5QVVmyrAVdFbg1haxBqFK0mBGEwBAQEBAQERAQEBAQEGCwsJFC6EKCgGARsdAQMSJjQFDxEBBQEuKYd4AQMRAgMInyo+MY0bgnePSAoZJw1UhF0BAQgCGgEBBA6NaoIQHYMBgRYFjjGFdIV6gRyDK4JUizA1gRWEK1WCQwEBAQ X-IPAS-Result: A0C4AABK5QVVmyrAVdFbg1haxBqFK0mBGEwBAQEBAQERAQEBAQEGCwsJFC6EKCgGARsdAQMSJjQFDxEBBQEuKYd4AQMRAgMInyo+MY0bgnePSAoZJw1UhF0BAQgCGgEBBA6NaoIQHYMBgRYFjjGFdIV6gRyDK4JUizA1gRWEK1WCQwEBAQ X-IronPort-AV: E=Sophos;i="5.11,405,1422918000"; d="scan'208";a="126050623" Received: from mail-qg0-f42.google.com ([209.85.192.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Mar 2015 21:08:21 +0100 Received: by qgh62 with SMTP id 62so25269499qgh.1 for ; Sun, 15 Mar 2015 13:08:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc:subject:message-id:mail-followup-to:mime-version :content-type:content-disposition:user-agent; bh=PqImynxOXoh3e3wSH8GqJpDC3N7Xv6I9mQXF7Bn8a/w=; b=CF+RBzVL03P+UehUQN1PXWkqo2468ITREDX8+l5+32OLAp7Ee5Py2NN4IlzCVyEE/s e48q7PhI8FLwOACARHPUlefn1tMpQCk2AqnUsa+YBMZvgpLXl5c3gE/0TtNKt4RmDE8R rD/JJz+3cHBfX3Equ9pi1GXxDzoR8BW/iMzkeuGMya/UadlM1xR2lDqV7lskBCpCjt9f ZP66gUD6wBs8AA4GDhKcUksDZ8t8bJJTfsM1bsxgc8otDSl4GPm6m11pD82AvrIk/Lry g3ayFWwvfLksmiMQhnSXZZs9Ww0SGvy4SXKziCeHGjs2ZNtwZtCmuf43FkQ/r/jts5tx MJ2Q== X-Received: by 10.140.18.198 with SMTP id 64mr69506988qgf.50.1426450100936; Sun, 15 Mar 2015 13:08:20 -0700 (PDT) Received: from jrm.no-ip.org ([191.5.94.191]) by mx.google.com with ESMTPSA id x10sm6015069qha.2.2015.03.15.13.08.19 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 15 Mar 2015 13:08:20 -0700 (PDT) Received: from localhost (jrm.no-ip.org [local]) by jrm.no-ip.org (OpenSMTPD) with ESMTPA id daf819f5; Sun, 15 Mar 2015 20:08:10 +0000 (UTC) Date: Sun, 15 Mar 2015 17:08:10 -0300 From: =?iso-8859-1?Q?Jos=E9?= Romildo Malaquias To: caml-list@inria.fr Cc: gpoore@gmail.com Message-ID: <20150315200810.GA1560@jrm.no-ip.org> Mail-Followup-To: caml-list@inria.fr, gpoore@gmail.com MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.23 (2014-03-12) Subject: [Caml-list] Adding support for OCaml in PythonTeX Hello. PythonTeX [https://www.ctan.org/pkg/pythontex] is a LaTeX package that allows Python code entered within a TeX document to be executed, and the output to be included in the original document. It supports other languagens beside Python. I have just requested inclusion of OCaml support in PythonTeX: https://github.com/gpoore/pythontex/issues/62 The author of PythonTeX says it could be possible, and he explained what would be needed from the OCaml side. See the discussion in issue #62 in the previous link. Basically, it would need a program which reads lines from a text file, and these lines are given as input to an interactive session, giving back input interspersed with output. He gives more details in the issue discussion. Please read the issue discussion in the above link. Is there already such a program? If not, can it be easily written? I appreciate any help in providing this program. Regards, Romildo