;;; 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)

maint: Ensure substitutes are available for '%default-xorg-modules'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm (%system-packages): Append
%DEFAULT-XORG-MODULES.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-04-14 16:01:05 +0200'>2020-04-14</span></td><td><a href='/guix/commit/etc/release-manifest.scm?id=8e8d984fd6db77bb5c1bec66369e5e99470d416f'>maint: Actually check for the availablility of system packages.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm (%system-manifest): New variable.
&lt;top level&gt;: Add it in 'concatenate-manifests' call.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-04-08 13:05:34 +0200'>2020-04-08</span></td><td><a href='/guix/commit/etc/release-manifest.scm?id=b1f56712c00a39c36ddd87fa42e3a19a28a75ffd'>maint: Adjust release manifest for Guile 3.0 switch.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm (%packages-to-cross-build): Refer to
GUILE-3.0/FIXED instead of GUILE-2.2/FIXED.
</span></span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2020-04-08 00:05:46 +0200'>2020-04-08</span></td><td><a href='/guix/commit/etc/release-manifest.scm?id=0eb799e6696202316b7e5062ba21bff9ece7a789'>maint: Cross-build GUILE-2.2/FIXED.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm (%packages-to-cross-build): Replace
"guile@2.2" with GUILE-2.2/FIXED.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-04-07 12:31:36 +0200'>2020-04-07</span></td><td><a href='/guix/commit/etc/release-manifest.scm?id=1e6fe44da874b96695047dbd3d2b0cc070de9b44'>maint: Remove GCC from the packages to cross-build.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm (%packages-to-cross-build): Remove GCC.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-04-04 18:52:35 +0200'>2020-04-04</span></td><td><a href='/guix/commit/etc/release-manifest.scm?id=d8c8bfcc1f7c2e8226abebc6227261c8617f90d0'>maint: Remove unsupported cross-compilation jobs from 'release-manifest.scm'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm (%packages-to-cross-build-for-mingw): New
variable.
(%cross-manifest): Use it.  Remove "riscv64-linux-gnu" from %CROSS-TARGETS.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-03-13 17:33:38 +0100'>2020-03-13</span></td><td><a href='/guix/commit/etc/release-manifest.scm?id=f292c5019111f92b6850afdca4b59f4146b9be3b'>maint: Add 'etc/release-manifest.scm'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/release-manifest.scm: New file.
* gnu/ci.scm (%cross-targets): Export.
* build-aux/check-available-binaries.scm: Remove.
* Makefile.am (EXTRA_DIST): Add 'etc/release-manifest.scm' and remove
'build-aux/check-available-binaries.scm'.
(assert-binaries-available): Rewrite using 'guix weather -m'.
</span></span></td><td>Ludovic Courtès</td></tr>