Subject: Re: bug#41541: [PATCH 4/8] bootloader: grub: Add support for multiboot.

From: Jan Nieuwenhuizen <[email-masked]>
Date: Sat, 06 Jun 2020 14:08:42 +0200

Ludovic Courtès writes:

> "Jan (janneke) Nieuwenhuizen" <[email-masked]> skribis:
>
>> * gnu/bootloader/grub.scm (grub-configuration-file): Add support for
>> multiboot.
>
> [...]
>
>> -  #:export (menu-entry
>> +  #:export (<menu-entry>
>
> Please don’t do that.  In general we shouldn’t export record-type
> descriptors as it breaks encapsulation.

Hmm...okay, it's not needed per se.  I rewrote the (match (($
<menu-entry>) ... ) to use accessors again!

Greetings, Janneke

-- 
Jan Nieuwenhuizen <[email-masked]> | GNU LilyPond http://lilypond.org
Freelance IT http://JoyofSource.com | Avatar® http://AvatarAcademy.com