GNU bug report logs - #26339
[PATCH 00/18] wip: Support non grub bootloaders.

Previous Next

Full log

View this message in rfc822 format

From: Mathieu Othacehe <m.othacehe <at> gmail.com>
To: Danny Milosavljevic <dannym <at> scratchpost.org>
Cc: 26339 <at> debbugs.gnu.org
Subject: bug#26339: [PATCH v3 1/9] system: Add extlinux support.
Date: Sun, 07 May 2017 22:01:27 +0200

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.