From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id KC69N6P08l91KwAA0tVLHw (envelope-from ) for ; Mon, 04 Jan 2021 10:57:39 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id 2C12M6P08l98UgAAbx9fmQ (envelope-from ) for ; Mon, 04 Jan 2021 10:57:39 +0000 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 42EA99403AE for ; Mon, 4 Jan 2021 10:57:39 +0000 (UTC) Received: from localhost ([::1]:51922 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kwNYQ-00088T-4Y for larch@yhetil.org; Mon, 04 Jan 2021 05:57:38 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:55548) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kwNXb-00088J-PA for emacs-orgmode@gnu.org; Mon, 04 Jan 2021 05:56:47 -0500 Received: from mout-p-103.mailbox.org ([2001:67c:2050::465:103]:36052) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_CHACHA20_POLY1305:256) (Exim 4.90_1) (envelope-from ) id 1kwNXZ-0003RH-5k for emacs-orgmode@gnu.org; Mon, 04 Jan 2021 05:56:46 -0500 Received: from smtp1.mailbox.org (smtp1.mailbox.org [IPv6:2001:67c:2050:105:465:1:1:0]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-103.mailbox.org (Postfix) with ESMTPS id 4D8Xcl47RSzQlNs; Mon, 4 Jan 2021 11:56:39 +0100 (CET) X-Virus-Scanned: amavisd-new at heinlein-support.de Received: from smtp1.mailbox.org ([80.241.60.240]) by spamfilter06.heinlein-hosting.de (spamfilter06.heinlein-hosting.de [80.241.56.125]) (amavisd-new, port 10030) with ESMTP id lBIeB2Bvc2LF; Mon, 4 Jan 2021 11:56:36 +0100 (CET) From: Leo To: Lawrence Bottorff , emacs-orgmode Mailinglist Subject: Re: ob-haskell In-Reply-To: References: Date: Mon, 04 Jan 2021 11:56:25 +0100 Message-ID: <877dot2co6.fsf@leo-B85-HD3.i-did-not-set--mail-host-address--so-tickle-me> MIME-Version: 1.0 Content-Type: text/plain X-MBO-SPAM-Probability: X-Rspamd-Score: -1.11 / 15.00 / 15.00 X-Rspamd-Queue-Id: 9C2B417DD X-Rspamd-UID: edc321 Received-SPF: pass client-ip=2001:67c:2050::465:103; envelope-from=leo@relevant-information.com; helo=mout-p-103.mailbox.org X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-orgmode@gnu.org X-Mailman-Version: 2.1.23 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" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -2.33 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of emacs-orgmode-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=emacs-orgmode-bounces@gnu.org X-Migadu-Queue-Id: 42EA99403AE X-Spam-Score: -2.33 X-Migadu-Scanner: scn0.migadu.com X-TUID: HzirMN7KP7Hh Lawrence Bottorff writes: > Enclosing code in :{ ... :} is fairly good -- again you can type this in at > the REPL prompt and see how it works -- however, there are gotchas. > I don't think I understand what the problem is with :{ ... :}. Doing this manually has worked pretty well for me. > > What would be nice is if a C-c C-c inside a block could somehow act as > though the ghci were being sent a regular *.hs buffer in haskell-mode -- > and that, of course, cumulatively. C-' creates a decent haskell-mode > environment, BTW, so some form of a babel block to haskell-mode connection > does exist.... > This makes a lot of sense in many cases. One case that I think it might be suboptimal in is when I have a heavy computation that generates some data. Then I would want to try to do a bunch of things to that data which means that reloading everything would be suboptimal. I don't know how other babel plugins work, but the way I enjoy working with ghci the most is to load in a file to ghci and then test a bunch of expressions in the repl. Maybe ob-haskell could work like this as well, with one type of block that loads the code as a file and another block that just sends the code to the repl. There are some problems here that needs to be sorted out though. For example should each block of the former type be loaded in its own module or should all of the code blocks be loaded in the same module? /A sporadic user of ob-haskell