unofficial mirror of guile-user@gnu.org 
 help / color / mirror / Atom feed
From: Maxime Devos <maximedevos@telenet.be>
To: guile-user@gnu.org, Tomas Volf <wolf@wolfsden.cz>
Subject: Re: How to globally replace core binding?
Date: Tue, 28 Nov 2023 02:57:27 +0100	[thread overview]
Message-ID: <b0eff3f0-234b-f3a8-a918-426383e81683@telenet.be> (raw)
In-Reply-To: <ZWVES6Sbj9Co_veg@ws>


[-- Attachment #1.1.1: Type: text/plain, Size: 2001 bytes --]

> [...]
> It looks like it is defined inside libguile/filesys.c, so that is not an option.
> And I would like to avoid patching the Guile itself anyway.

In that case, this part is N/A.

>> That way, Guile's compiler/optimizer knows that the binding is mutable and
>> should not inlined (well, Guile being Guile, every binding is mutable, but
>> now it is mutable from the perspective of the inliner too).
> Interesting, is there a way to do the same hint from the C code?  Would there be
> a reason?  I assume C code cannot be inlined anyway, so there is no need?

It would theoretically be possible to implement cross C<->Scheme 
inlining, but given that no such inlining exists currently, there is no 
method for declaring ‘don't inline’ and no need.

>> Depending on whether 'copy-file' is just a stand-in for something else and
>> depending on how the better copy-file works/how it is ‘better’, it might be
>> better to eventually write a patch to replace copy-file with the improved
>> better-file, as then the improved copy-file is more widely available. (As a
>> long-term thing; for short-term ‘trying things out’, doing set! is much more
>> practical.)
> What I want to do is to replace (copy-file oldfile newfile) by modified version
> with signature (copy-file oldfile newfile [reflink]) with reflink defaulting to
> 'auto (see man cp for details).
> 
> I expect this to be a somewhat controversial change, so I did not intend to send
> a patch, however I can, if you think it has a chance of getting merged.
> 
> Tomas

An extra reflink argument seems fine to me, though I would use a keyword 
argument #:copy-on-write instead -- a bit more flexible towards 
potential future API additions (#:sparse? #true #:user [UID] #:group 
[GID] #:mode [...] ...).

Worst case, someone disagrees that 'auto' should be the default, but 
merely adding the _option_ to copy-on-write would be uncontroversial, I 
think.

Best regards,
MAxime Devos.

[-- Attachment #1.1.2: OpenPGP public key --]
[-- Type: application/pgp-keys, Size: 929 bytes --]

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 236 bytes --]

      reply	other threads:[~2023-11-28  1:57 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-11-26 17:42 How to globally replace core binding? Tomas Volf
2023-11-28  0:51 ` Maxime Devos
2023-11-28  1:37   ` Tomas Volf
2023-11-28  1:57     ` Maxime Devos [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/guile/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=b0eff3f0-234b-f3a8-a918-426383e81683@telenet.be \
    --to=maximedevos@telenet.be \
    --cc=guile-user@gnu.org \
    --cc=wolf@wolfsden.cz \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).