From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id +Mx4JkZr8GViUQAAe85BDQ:P1 (envelope-from ) for ; Tue, 12 Mar 2024 15:48:38 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2.migadu.com with LMTPS id +Mx4JkZr8GViUQAAe85BDQ (envelope-from ) for ; Tue, 12 Mar 2024 15:48:38 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=kRnQtrxS; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=posteo.net ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1710254918; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=PsuetAubTHkHYV6Vix/V4XArFVXrQS2wRImWejGOz20=; b=cgS85qoK1aByqOpL0QOfiAy4BSY4UUDYzycLblL75CBDEO/O9a5SU/x9BzxyyikhCsvF3u Y/A9vSDedrTlHGBuwXm31oxRgjnWCpozjsu0dNcrnT7HNAS56fT3L1dgiKab7y6snlCKUs hvlidsmEHF/TeCbODvSpkK2YnfTQwCW9U6YO9VVy1dBUJt1hGMXEdB5PVJ1z6OcHdKA7yp NwqGd1LTTDoXQYrPD44yeyULOgj4qUpPb0eMq0SLTzouFB7vLf77JyZCSZ7/b+IK0rc16I WwCqR0mwVcWx0Pfc+xkR/yTh+ew1/7ZNwvYF+cpcYKfJzDcR9rEzaNzuBQV24g== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1710254918; a=rsa-sha256; cv=none; b=B4yfn6bg29Ny1/E7mG+4xqZwrdc2k9B2lKu8ULI34PRDK75fcIn9ja5TAne9RGmNsmaO1P Bsp1hn2m5Kf+m/h+g5Ej/cwLrhLNHMlpV1c6wZl+zsZ4qWLY/uPznE733jkgZAVn/EPPlD 0z+FnLdMSIh0qHyJPABKOxZCHse5+c9Jm/OKiBXKjFqqJgqppHZELSgLjYxzWsUbooeR9m OKVITHRT+ampBiwnXJsa5+LwrYKuL8qZsHLfKbnNqIxsQCsWBhsPTyWg0+83Acee/u+Adz aA2wzY5n156kxVGb01WG++xb6PkvU8sA9mzh2H/dqw3xzOGh3HlL+Av8jhD/Yg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=posteo.net header.s=2017 header.b=kRnQtrxS; spf=pass (aspmx1.migadu.com: domain of "emacs-orgmode-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="emacs-orgmode-bounces+larch=yhetil.org@gnu.org"; dmarc=pass (policy=none) header.from=posteo.net Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 79B4D757F5 for ; Tue, 12 Mar 2024 15:48:38 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rk3Px-0000HB-Sk; Tue, 12 Mar 2024 10:47:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rk3Pq-0000CE-Nf for emacs-orgmode@gnu.org; Tue, 12 Mar 2024 10:47:43 -0400 Received: from mout02.posteo.de ([185.67.36.66]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rk3Po-0000yu-5j for emacs-orgmode@gnu.org; Tue, 12 Mar 2024 10:47:41 -0400 Received: from submission (posteo.de [185.67.36.169]) by mout02.posteo.de (Postfix) with ESMTPS id 1009B240104 for ; Tue, 12 Mar 2024 15:47:38 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1710254858; bh=CSUkAFoqrEdSG8BwUbJrsaBusXbSma+3fw76atRX8zo=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version:Content-Type: From; b=kRnQtrxS3NavbmyxtPDmmvbwO/c2UpU0el18X3Y/HDBgt72UvWyeh8OfkA91383R5 aReTu02wcrKVLUkMhBOzsOoWEPvmj0dMSL7FbHvJ1cJ4aDaOweSO3hx0wcsFNW+T4R IVRjQTX+ALh2snL+e42S+RgRhFLd8hucNhGV0XA2XXsYWi3aUTYi55XgH49QbK9sot zIBN2mXEKfVrtjQyYlto0nkqSKeiliUg7r/kyRp+uf9sdCDKG97LYqCxbS0ugP50I6 NPxmzxWDudAeNiPlx12V/r1Cbswd8+z7cFtASQRqiBCD8zw9CjhlEfHde6zLkOxOH8 YRaGgx3ZZz8BQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 4TvGhT1Wgrz9rxK; Tue, 12 Mar 2024 15:47:36 +0100 (CET) From: Ihor Radchenko To: Bruno Barbier Cc: Laurence von Bottorff , emacs-orgmode Mailinglist Subject: Re: ob-haskell and changing executables? In-Reply-To: <65f05c33.050a0220.64979.f250@mx.google.com> References: <65ec2c50.050a0220.60862.ade3@mx.google.com> <878r2neifx.fsf@localhost> <65f05c33.050a0220.64979.f250@mx.google.com> Date: Tue, 12 Mar 2024 14:51:49 +0000 Message-ID: <87wmq7bj0a.fsf@localhost> MIME-Version: 1.0 Content-Type: text/plain Received-SPF: pass client-ip=185.67.36.66; envelope-from=yantar92@posteo.net; helo=mout02.posteo.de X-Spam_score_int: -43 X-Spam_score: -4.4 X-Spam_bar: ---- X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: emacs-orgmode-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -6.33 X-Spam-Score: -6.33 X-Migadu-Queue-Id: 79B4D757F5 X-Migadu-Scanner: mx11.migadu.com X-TUID: O1o7sQPrh7b2 Bruno Barbier writes: >> Only for sessions. For src blocks with :session none, we directly call >> `org-babel-haskell-compiler'. > > Good point. I didn't check that execution path (probably because I > assumed the OP was speaking only about GHCi). > > But, from what I see (function `org-babel-execute:haskell'), for > Haskell, we switch to the compiler only if explicitly requested > (':compile' option is "yes"). If not, we use the interpreter for both > with and without sessions. > > Am I missing something ? Looks like you are right. -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at . Support Org development at , or support my work at