[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#26339: [PATCH v3 1/9] system: Add extlinux support.
From: |
Mathieu Othacehe |
Subject: |
bug#26339: [PATCH v3 1/9] system: Add extlinux support. |
Date: |
Sun, 07 May 2017 22:01:27 +0200 |
User-agent: |
mu4e 0.9.18; emacs 25.2.1 |
Hi Danny,
> Not really - because I did this part already :)
I'll remove it ;)
>> + (if (and bootloader? bootloader)
>
> Hmm, is it possible to (usefully) check monadic values that way?
Monads are still misterious for me, so I could be completely wrong
here but I think that bootloader may be #f so it makes sense to check it
here and in the following lines.
>
>> + (when (and bootloader? bootloader)
>
> Likewise.
I wrote the few lines bellow to better understand what's going on :
--8<---------------cut here---------------start------------->8---
(run-with-store (open-connection) (mlet* %store-monad ((test (return #f)) (disp
-> (if test "true" "false"))) (return (display disp))))
--8<---------------cut here---------------end--------------->8---
You can ,expand it and make test return #t instead.
Thanks,
Mathieu
- bug#26339: [PATCH v3 0/9] Support non-grub bootloaders., Mathieu Othacehe, 2017/05/06
- bug#26339: [PATCH v3 4/9] bootloader: Stop using grub module., Mathieu Othacehe, 2017/05/06
- bug#26339: [PATCH v3 3/9] system: Add bootloader type., Mathieu Othacehe, 2017/05/06
- bug#26339: [PATCH v3 1/9] system: Add extlinux support., Mathieu Othacehe, 2017/05/06
- bug#26339: [PATCH v3 5/9] bootloader: Add device and type to bootloader-configuration record., Mathieu Othacehe, 2017/05/06
- bug#26339: [PATCH v3 6/9] scripts: system: Adapt "reconfigure" to new bootloader API., Mathieu Othacehe, 2017/05/06
- bug#26339: [PATCH v3 6/9] scripts: system: Adapt "reconfigure" to new bootloader API., Danny Milosavljevic, 2017/05/07
- bug#26339: [PATCH v3 2/9] bootloader: Add install procedures and use them., Mathieu Othacehe, 2017/05/06