;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (test-combinators)
  #:use-module (guix combinators)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-64)
  #:use-module (ice-9 vlist))

(test-begin "combinators")

(test-equal "fold2, 1 list"
    (list (reverse (iota 5))
          (map - (reverse (iota 5))))
  (call-with-values
      (lambda ()
        (fold2 (lambda (i r1 r2)
                 (values (cons i r1)
                         (cons (- i) r2)))
               '() '()
               (iota 5)))
    list))

(test-equal "fold2, 2 lists"
    (list (reverse '((a . 0) (b . 1) (c . 2) (d . 3)))
          (reverse '((a . 0) (b . -1) (c . -2) (d . -3))))
  (call-with-values
      (lambda ()
        (fold2 (lambda (k v r1 r2)
                 (values (alist-cons k v r1)
                         (alist-cons k (- v) r2)))
               '() '()
               '(a b c d)
               '(0 1 2 3)))
    list))

(let* ((tree (alist->vhash
              '((0 2 3) (1 3 4) (2) (3 5 6) (4 6) (5) (6))
              hashq))
       (add-one (lambda (_ r) (1+ r)))
       (tree-lookup (lambda (n) (cdr (vhash-assq n tree)))))
  (test-equal "fold-tree, single root"
    5 (fold-tree add-one 0 tree-lookup '(0)))
  (test-equal "fold-tree, two roots"
    7 (fold-tree add-one 0 tree-lookup '(0 1)))
  (test-equal "fold-tree, sum"
    16 (fold-tree + 0 tree-lookup '(0)))
  (test-equal "fold-tree, internal"
    18 (fold-tree + 0 tree-lookup '(3 4)))
  (test-equal "fold-tree, cons"
    '(1 3 4 5 6)
    (sort (fold-tree cons '() tree-lookup '(1)) <))
  (test-equal "fold-tree, overlapping paths"
    '(1 3 4 5 6)
    (sort (fold-tree cons '() tree-lookup '(1 4)) <))
  (test-equal "fold-tree, cons, two roots"
    '(0 2 3 4 5 6)
    (sort (fold-tree cons '() tree-lookup '(0 4)) <))
  (test-equal "fold-tree-leaves, single root"
    2 (fold-tree-leaves add-one 0 tree-lookup '(1)))
  (test-equal "fold-tree-leaves, single root, sum"
    11 (fold-tree-leaves + 0 tree-lookup '(1)))
  (test-equal "fold-tree-leaves, two roots"
    3 (fold-tree-leaves add-one 0 tree-lookup '(0 1)))
  (test-equal "fold-tree-leaves, two roots, sum"
    13 (fold-tree-leaves + 0 tree-lookup '(0 1))))

(test-end)

='msg-tooltip'>Suggested by Julien Lepiller and myglc2
at &lt;https://lists.gnu.org/archive/html/guix-devel/2017-11/msg00106.html&gt;.

* gnu.scm (%try-use-modules): New procedure.
(package-module-hint, service-module-hint): New procedures.
(try-use-modules): New macro.
(use-package-modules, use-service-modules, use-system-modules): Use it.
* tests/guix-system.sh: Test it.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-05-16 14:41:01 +0200'>2017-05-16</span></td><td><a href='/guix/commit/gnu.scm?id=b09a8da4a2e50845a297e041762f3ff9e649c047'>bootloader: Add extlinux support.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/bootloader.scm: New file.
* gnu/bootloader/extlinux.scm: New file.
* gnu/bootloader/grub.scm: New file.
* gnu/local.mk: Build new files.
* gnu/system.scm: Adapt to new bootloader api.
* gnu/scripts/system.scm: Adapt to new bootloader api.
* gnu.scm: Remove (gnu system grub) and replace by (gnu bootloader) and (gnu
bootloader grub) modules.
* gnu/system/grub.scm: Moved content to gnu/bootloader/grub.scm.
* gnu/system/vm: Replace (gnu system grub) module by (gnu bootloader).
* gnu/tests.scm: Ditto.
* gnu/tests/nfs.scm: Ditto.
</span></span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2016-04-18 01:24:06 +0200'>2016-04-18</span></td><td><a href='/guix/commit/gnu.scm?id=060d62a740fc1932a3be505534feff099b59ac9f'>system: Add (gnu system mapped-devices).</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/file-systems.scm (&lt;mapped-device&gt;, &lt;mapped-device-type&gt;):
Move to...
* gnu/system/mapped-devices.scm: ... here.  New file.
* gnu/system.scm, gnu/services/base.scm,
gnu/system/linux-initrd.scm: Use it.
* gnu-system.am (GNU_SYSTEM_MODULES): Add it.
* gnu.scm (%public-modules): Add it.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-11-03 18:11:45 +0100'>2015-11-03</span></td><td><a href='/guix/commit/gnu.scm?id=6e82863463c641571e852291481e2b64401c2fe2'>system: Rename (gnu system linux) to (gnu system pam).</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/linux.scm: Rename to...
* gnu/system/pam.scm: ... this.
* gnu-system.am (GNU_SYSTEM_MODULES): Adjust accordingly.
* gnu.scm, gnu/services/base.scm, gnu/services/desktop.scm,
  gnu/services/networking.scm, gnu/services/ssh.scm,
  gnu/services/xorg.scm, gnu/system.scm, gnu/system/vm.scm: Likewise.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-02-04 22:49:35 +0100'>2015-02-04</span></td><td><a href='/guix/commit/gnu.scm?id=996ed73948e92eb2005a2a282856753d707f452c'>system: Add bindings to configure libc's NSS.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/nss.scm: New file.
* gnu-system.am (GNU_SYSTEM_MODULES): Add it.
* gnu.scm (%public-modules): Add it.
* gnu/system.scm (&lt;operating-system&gt;)[name-service-switch]: New field.
  (etc-directory): Add #:nss parameter and honor it.
  (operating-system-etc-directory): Adjust call accordingly.
* doc/guix.texi (operating-system Reference): Document
  'name-service-switch'.
  (Name Service Switch): New section.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-01-22 17:01:01 +0100'>2015-01-22</span></td><td><a href='/guix/commit/gnu.scm?id=fbb020451ea25896936a5fba966612b59c0bcdf3'>gnu: Add convenience macros to make module imports more concise.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu.scm (use-package-modules, use-service-modules,
  use-system-modules): New macros.
</span></span></td><td>Joshua S. Grant</td></tr>
<tr><td><span title='2014-09-09 17:13:52 +0200'>2014-09-09</span></td><td><a href='/guix/commit/gnu.scm?id=bde7eb8f0ae6a58b0195434ed15210acdda309aa'>Have (gnu) re-export (guix gexp).</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu.scm (%public-modules): Add '(guix gexp)'.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2014-05-22 23:24:13 +0200'>2014-05-22</span></td><td><a href='/guix/commit/gnu.scm?id=c9384945984c393ef1a15efb5c07e272a27a2215'>Add (gnu) module.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu.scm: New file.
* gnu-system.am (GNU_SYSTEM_MODULES): Add it.
* build-aux/hydra/demo-os.scm: Use (gnu) and strip import list
  accordingly.
* doc/guix.texi (Using the Configuration System): Adjust example
  accordingly.
</span></span></td><td>Ludovic Courtès</td></tr>