From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8F1387F0AB for ; Thu, 23 Mar 2017 14:26:41 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=paul.lachat@edu.univ-fcomte.fr; spf=SoftFail smtp.mailfrom=paul.lachat@edu.univ-fcomte.fr; spf=None smtp.helo=postmaster@ufc-sortie.univ-fcomte.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of paul.lachat@edu.univ-fcomte.fr) identity=pra; client-ip=194.57.91.199; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paul.lachat@edu.univ-fcomte.fr"; x-sender="paul.lachat@edu.univ-fcomte.fr"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain of paul.lachat@edu.univ-fcomte.fr is inclined to not designate 194.57.91.199 as permitted sender) identity=mailfrom; client-ip=194.57.91.199; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paul.lachat@edu.univ-fcomte.fr"; x-sender="paul.lachat@edu.univ-fcomte.fr"; 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@ufc-sortie.univ-fcomte.fr) identity=helo; client-ip=194.57.91.199; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="paul.lachat@edu.univ-fcomte.fr"; x-sender="postmaster@ufc-sortie.univ-fcomte.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ARjEYNBKAuhNz4I6gvdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgfKvjxwZ3uMQTl6Ol3ixeRBMOAuq4C07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9ZDeZwpFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJPUMhRSSJPAYGz?= =?us-ascii?q?b4USAeUOIelWoIj9qVwSrRalGQmhBv/gxiNSi3Pq36A31fkqHwHc3AwnGtIDqG?= =?us-ascii?q?zUo8/oNKcWS+y1yLPHwinDb/xMxTfw85bHfQ08of2WQLJwd8vRyVc2GwPLklqQ?= =?us-ascii?q?ronlPy+L2egXvWib9extXv+shW4/swx9vzyiy8g2hoTJhI8Z0FTJ+ThjzIooId?= =?us-ascii?q?C1TFZ3bcOgHZZfrS2WKop7T8E4T2xnuCs20KMKtJ6jcCQXzJkqyATTZvyFfoSS?= =?us-ascii?q?5h/vSfydLSlkiH9qfr+0mgy8/lK6yuLmU8m5yFZKoTRBktnLrn0NyhLT5dSeRv?= =?us-ascii?q?tm+UehwyqP1wHN5e1ePEA0k6vbK4A4zr4+ipUTtkHDHjPol0nsgq+WbF0o+umu?= =?us-ascii?q?6+v5frXrvoKQOot7hw3kMqkjmNazDOAlPgQUQmSW/eCx2KXm/ULjQbVKivM2kr?= =?us-ascii?q?PesJDfPckbvrS2AxJR0oo57xawFSup0NQCknkbN19KZg+Ij5XzN1HTJvD4DOm/?= =?us-ascii?q?j02ikDh3wPDGO6HhDYvXInjNirftZax95FJEyAov0dBf4IpZCqoBIPLyXE/+qc?= =?us-ascii?q?LXDgUnPAGvwufnCdB92ZgEWW2VGKOZMaXSsUWJ5u01OeWMapUVsi7nK/c5//7u?= =?us-ascii?q?kWM5mVgFcKa1x5QXbXS4Eu1iI0WYenrsnswMEXwKvwo7VOzlkkeOUT9VZ3aoXq?= =?us-ascii?q?Iz/Cs3CIy8DdSLeof4uz2L1TynH5BQLkBHDFyBC3ryP9G/Vv0Fcz6TL8knsj0C?= =?us-ascii?q?WbW7RpUJ1Be0tQa8xaAxfcTO/ShNrZv+0J5x7ubTnA0a+DBpSdmb0n/IQWpzm3?= =?us-ascii?q?8FATEsj/M3mlB01lrWifswuPdfD9EGoqoRCgo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DhAgCYzNNYh8dbOcJdGwEBAQMBAQEJA?= =?us-ascii?q?QEBFwEBBAEBCgEBhRmDW4sCkDwfl1eGIgKDFEMUAQEBAQEBAQEBAQESAQEBCgs?= =?us-ascii?q?JCCgvQg6BYyIBgkABAgIBI1YFCwIBCBoCDRkCAlcCBIoRDKp4giaKPQEBAQEBA?= =?us-ascii?q?QQBAQEBAQEBIYELh1CCYoRxgmmCXwWcVZQtj0yTYjaBJV1ShFgRDIFkhwWCawG?= =?us-ascii?q?BDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DhAgCYzNNYh8dbOcJdGwEBAQMBAQEJAQEBFwEBBAEBCgE?= =?us-ascii?q?BhRmDW4sCkDwfl1eGIgKDFEMUAQEBAQEBAQEBAQESAQEBCgsJCCgvQg6BYyIBg?= =?us-ascii?q?kABAgIBI1YFCwIBCBoCDRkCAlcCBIoRDKp4giaKPQEBAQEBAQQBAQEBAQEBIYE?= =?us-ascii?q?Lh1CCYoRxgmmCXwWcVZQtj0yTYjaBJV1ShFgRDIFkhwWCawGBDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.36,210,1486422000"; d="scan'208";a="265874649" Received: from ufc-sortie.univ-fcomte.fr ([194.57.91.199]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Mar 2017 14:26:41 +0100 Received: from ufc204.univ-fcomte.fr (ufc204.univ-fcomte.fr [194.57.91.204]) by ufc-sortie.univ-fcomte.fr (Postfix) with ESMTP id 097E9607E2; Thu, 23 Mar 2017 14:26:41 +0100 (CET) Received: from zstore04.univ-fcomte.fr (localhost.localdomain [127.0.0.1]) by ufc204.univ-fcomte.fr (Postfix) with ESMTP id E41D78E9D; Thu, 23 Mar 2017 14:26:40 +0100 (CET) Date: Thu, 23 Mar 2017 14:26:40 +0100 (CET) From: paul.lachat@edu.univ-fcomte.fr To: =?utf-8?Q?S=C3=A9bastien?= Hinderer Cc: caml-list@inria.fr Message-ID: <880456179.9300684.1490275600601.JavaMail.zimbra@edu.univ-fcomte.fr> In-Reply-To: <20170323130207.udjaxrejqmdkvjfq@pl-59055.rocqadm.inria.fr> References: <1590236478.9253508.1490261850094.JavaMail.zimbra@edu.univ-fcomte.fr> <20170323130207.udjaxrejqmdkvjfq@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originating-IP: [194.167.45.25] X-Mailer: Zimbra 8.6.0_GA_1200 (ZimbraWebClient - FF52 (Linux)/8.6.0_GA_1200) Thread-Topic: Loading .ml in memory to interact with them. Thread-Index: 1UrfoFlcelSY4BG7WCWCoETHYjX+Nw== Subject: Re: [Caml-list] [Question] Loading .ml in memory to interact with them. > What do you mean by "stops"? Do you mean that it exits? The toplevel exit without error. > Does this happen when you run the process that calls the toplevel inside > of mathlab, or did you try all this outside of the mathlab context? I've run the process outside of Matlab. I launch the toplevel in one shell : "ocaml < /tmp/pipe_in > /tmp/pipe_out" In another shell : "printf "let x = 10;;\n" > /tmp/pipe_in" then "cat /tmp/pipe_out" And after the cat command, the toplevel stop.