From: zimoun <zimon.toutoune@gmail.com>
To: Greg Hogan <code@greghogan.com>, 59002@debbugs.gnu.org
Subject: bug#59002: Bug from profile path name?
Date: Fri, 04 Nov 2022 10:08:41 +0100 [thread overview]
Message-ID: <86h6zf5bom.fsf@gmail.com> (raw)
In-Reply-To: <CA+3U0Z=AS=r=RoAX=O-_xYXVrVz-Zu1UPQRmoKPh43bNS5Vh+g@mail.gmail.com>
Hi,
On Thu, 03 Nov 2022 at 14:56, Greg Hogan <code@greghogan.com> wrote:
[...]
> $ guix install -p ~/profile/llvm@14 llvm@14
[...]
> In guix/ui.scm:
> 312:5 7 (display-hint _ _)
> 1448:24 6 (texi->plain-text _)
> In texinfo.scm:
> 1132:22 5 (parse _)
> 980:31 4 (loop #<input: string 7f97f8aa84d0> (*fragment*) _ _ _)
> 911:31 3 (loop #<input: string 7f97f8aa84d0> #f #<procedure ide…> …)
> 754:31 2 (_ #<input: string 7f97f8aa84d0> _ (example # # lisp …) …)
> 92:2 1 (read-command-token #<input: string 7f97f8aa84d0>)
> In ice-9/boot-9.scm:
> 1685:16 0 (raise-exception _ #:continuable? _)
>
> ice-9/boot-9.scm:1685:16: In procedure raise-exception:
> Throw to key `parser-error' with args `(#<input: string 7f97f8aa84d0>
> "Nonalphabetic @-command char: '" #\1 "'")'.
Well, the issue is ’@14’ is interpreted as TeXinfo. Maybe the
replacement of ’texi->plain-text’ inside ’display-hint’ by
’texi->plain-text*’ and teach the latter for this “corner case“.
However, what is the “corner case”? :-) Any ’@thing’ for thing not a
keyword of TeXinfo? Therefore, ’llvm@14’ would work but not
’llvm@code’. Why not? :-)
Cheers,
simon
prev parent reply other threads:[~2022-11-04 10:16 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-11-03 18:56 bug#59002: Bug from profile path name? Greg Hogan
2022-11-04 9:08 ` zimoun [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://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=86h6zf5bom.fsf@gmail.com \
--to=zimon.toutoune@gmail.com \
--cc=59002@debbugs.gnu.org \
--cc=code@greghogan.com \
/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.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
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).