Re: texmacs string-replace vs guile string-replace

Massimiliano Gubinelli <[email protected]> Thu, 22 Sep 2022 09:21:12 +0100
Newsgroups gmane.editors.texmacs.devel
Message-ID <[email protected]>
I'm not sure, but I guess that in the early days this function was not yet available and Joris had to code it by hand. I'm not sure if it it worth using it since it would make us more dependent on Guile which is not the current trend we would like to follow.

Best
Max


> On 22. Sep 2022, at 08:04, Hammer Hu <[email protected]> wrote:
> 
> Hi,
> 
> I found that texmacs has its own definition for string-replace, which is
> similar to guile's string-replace-substring 
> <https://www.gnu.org/software/guile/manual/html_node/Miscellaneous-String-Operations.html>.
> Is this behavior intentional?
> 
> Best,
> Hammer
> 
> _______________________________________________
> Texmacs-dev mailing list
> [email protected]
> https://lists.gnu.org/mailman/listinfo/texmacs-dev


_______________________________________________
Texmacs-dev mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/texmacs-dev