From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id gKN0Fyt6gmFcKQAAgWs5BA (envelope-from ) for ; Wed, 03 Nov 2021 13:01:47 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id gNZFEyt6gmFKewAA1q6Kng (envelope-from ) for ; Wed, 03 Nov 2021 12:01:47 +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 A5CE3158EA for ; Wed, 3 Nov 2021 13:01:46 +0100 (CET) Received: from localhost ([::1]:44036 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1miExd-0000lU-RQ for larch@yhetil.org; Wed, 03 Nov 2021 08:01:45 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:36430) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1miEwP-0000fg-5G for emacs-orgmode@gnu.org; Wed, 03 Nov 2021 08:00:30 -0400 Received: from mail-lf1-x12f.google.com ([2a00:1450:4864:20::12f]:43998) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1miEwN-00074q-3b for emacs-orgmode@gnu.org; Wed, 03 Nov 2021 08:00:28 -0400 Received: by mail-lf1-x12f.google.com with SMTP id bq11so4614635lfb.10 for ; Wed, 03 Nov 2021 05:00:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=TPIANEvzzSoZ3Eb6Y0MIw351VJQ4cfyDUCWpnIsXOTc=; b=D0WojIIrOpRBaC6qCVZI8p1wxgFAtIi9LIvNPWSzFtOO/frNpPR6JM0AhkHs+3Nd83 s/8hLSGdOuHaHJ8LFnjgPmgk8xPTs8A1mP9IPvP/I8l1b4s9r/XzUZxTZUYdSWObRov5 zL3kR5EmDrtwD6C3wCWHHp16dL2snEQChcsSgZpkgC4YEb0ZyXOWpxEh8XeRp4Z7gJCL UHqTLmkiWRchTGyqMLCPcYXoVcICzPYw0bwWE9BmopeXG1HZ2VKm/hMenKFycNGMSyi8 kVfgrksV27bR6wJgF9fBGhhMaGRpsevtMKXXVrjhZ6IOFReeCxu+g80sVFlxfn5Uq32k 4ILg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=TPIANEvzzSoZ3Eb6Y0MIw351VJQ4cfyDUCWpnIsXOTc=; b=j6kHchmEyZdX6XcPk2a256LL4hLzhGYzr0AJGK8FBmAvQ5lc8RqqUlwaOo7hOVXJ57 hW+8cEC/UGl1tbSTRWY44Ov6/L9JLnd/d0E3FDikU3AZKBdKg0CinylkJOaT0RITg9Ba HuURAwJzt3JAqmGI0sM/TYQM5SOanScdkck3P4RSSJvWAlGkuJaQJ8m1ynCz0ZMyOrlU z2WgHmAEZnf88hl5ObkcPHro7iSKbmRWdNKaqd+l7nF3Bm3XkIk+a8LBFU9v0wXWoDFV 2ymkeA9bVmbBSasISmCUC7FamzfNXR6pFKOiFJis9UKxyuby8Fh0vpleRLykOy9NAc7h OzbA== X-Gm-Message-State: AOAM532LcfR3jIu3s1PvZpAAbSY/elsC5zWNnQqGtagOWyOi6nHwfBDo ujLDY3sH/pYZoTJTqkn3qL0= X-Google-Smtp-Source: ABdhPJxQtS2HtXIGjMOu3yOjAEfCZG+6G7QS71jTbs6sbPRFIKCRmeHdM7EGsuRYt6RkJSbMB9c3RQ== X-Received: by 2002:ac2:5df4:: with SMTP id z20mr29121489lfq.97.1635940825166; Wed, 03 Nov 2021 05:00:25 -0700 (PDT) Received: from localhost ([91.210.107.150]) by smtp.gmail.com with ESMTPSA id q6sm161752lfg.188.2021.11.03.05.00.24 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 03 Nov 2021 05:00:24 -0700 (PDT) From: Ihor Radchenko To: Greg Minshall Subject: Re: transclusion, tangling, flycheck/flymake, etc. In-Reply-To: <1673748.1635927354@apollo2.minshall.org> References: <1673748.1635927354@apollo2.minshall.org> Date: Wed, 03 Nov 2021 20:01:53 +0800 Message-ID: <875yt9e9ce.fsf@localhost> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::12f; envelope-from=yantar92@gmail.com; helo=mail-lf1-x12f.google.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 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, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, 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.29 Precedence: list List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Noboru Ota , emacs-orgmode@gnu.org Errors-To: emacs-orgmode-bounces+larch=yhetil.org@gnu.org Sender: "Emacs-orgmode" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1635940906; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=TPIANEvzzSoZ3Eb6Y0MIw351VJQ4cfyDUCWpnIsXOTc=; b=fZZArDIig8M+D9aTC7evlYTyvjGI2UNfccTOOtsmxg/lW8zvOgtDT20IlqtLwjofImZEl5 KJ0Nq/GvMzwgoFLhaA5OAKUwAuEEoWfsqReNBCqFiQNOCvkh0TDey0+dw2W4v2YyP2+ZCq QhARzI6A7Jbptw+dh2SC+6+r7hHb3CQXiG13CZjE0jT38WCtVlPnRXClHtgg3m5P4ccWOL X8r66P+DQYlIQlCPnvk7LMjyTIIJhkT/ERad/e2jHSjD5aJGa2YwEum+NtL7hC5yeM4gkz lyTPRhP5rz2q+h4JQdIseQYlzzAZBqfjVFFJjgg6znIRAAVLp88NAW+vT/oQHA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1635940906; a=rsa-sha256; cv=none; b=FRqf0IW7mf5Q90ILhysJ0I5qNMZ5oMUhkwqPlb9B8L4zdYub6PZ55MN6MUs14Lo8rxzu3k uLNQTaZ3SoLD6MDqJAfkKHHXygIGPIp8B897s+wiEkIq7C9xkLdzT3TALnyQd9gCi3hpj9 /x8LXtcm9ov6iO+LgNn0PAjt/09l2RJjifjoOrgtDaQIKQw1gnvCoHQECQGUSNSZpkJBtQ 1mYhM/gBchBOl9LsyGnwuX2HRdKCgzg7qzrkBEe0+cCbz2t0zDy9WbC5WtS/tSThytp2Bl 06GLnvmTrQ/sUy741ME5CenEnb/XaWkW7gUvVK++hEI3KdDUQtEN4mCxCTdUOw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=D0WojIIr; dmarc=pass (policy=none) header.from=gmail.com; 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-Spam-Score: -2.62 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b=D0WojIIr; dmarc=pass (policy=none) header.from=gmail.com; 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: A5CE3158EA X-Spam-Score: -2.62 X-Migadu-Scanner: scn0.migadu.com X-TUID: PZYL8mh7gE+q Greg Minshall writes: > my thought about flycheck, flymake, whatever, is that (optionally) a > silent, background, =3Dtangle=3D and/or =3D<> expansion=3D would t= ake > place to produce a "full source file buffer"[*], then the narrowed > version of that (corresponding to the part where =3DC-c=C2=A0'=3D was iss= ued) > buffer is presented for the user's editing convenience. You are right. That's what I had in mind. Though noweb <>-style references may need to be transcluded without expanding - they may be computationally expensive. > your thought here, iiuc, is that source files would live in the file > system, and be transcluded into the .org file. i can see the utility of > that. but, i would miss =3D<>=3D and also the ability to break the > source code into small chunks for purposes of documentation. No. I did not imply that source files will be transcluded into the .org file. Currently, .org file is the source of the code (unless you use org-babel-detangle). I was thinking that C-c ' will trigger generating a temporary prog-mode buffer (according to .org file!). It is not a good idea to associate the temporary buffer with actual file because tangling may involve expanding noweb references. Noweb sometimes require long computations or even access to remote servers. I think that it's better to trigger tangle process manually by default. Best, Ihor