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

6ee58f4cab76db9d1245410113'>vm: Distinguish between success and failure of the guest code.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-12-18 22:36:37 +0100'>2019-12-18</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=8e53fe2b91d2776bc1529e7b34967c8f1d9edc32'>gnu: Remove uses of deprecated Qemu network configuration.</a><span class='msg-avail'>...</span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2019-12-01 16:52:30 +0100'>2019-12-01</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=c6d130630a85709fc5a5488cfd6715ec13e72399'>build: vm: Fix qemu-command procedure.</a><span class='msg-avail'>...</span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2019-11-22 16:33:43 +0100'>2019-11-22</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=1ee72bb55b69796abc69d56a51b8eb3f42438be6'>system: vm: Add arm64 support.</a><span class='msg-avail'>...</span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2019-11-22 16:33:43 +0100'>2019-11-22</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=2608417ab8889cf8c1a61032633c474228141e78'>build: vm: Fix arm32 support.</a><span class='msg-avail'>...</span></td><td>Mathieu Othacehe</td></tr>
<tr><td><span title='2019-05-18 18:35:37 +0200'>2019-05-18</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=1d86b05618a063378d7ffc89a9b4c33dd65a760c'>vm: Create installation media with MBR and HFS only, no GPT.</a><span class='msg-avail'>...</span></td><td>Danny Milosavljevic</td></tr>
<tr><td><span title='2019-04-29 21:11:38 +0100'>2019-04-29</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=05344275517e12ea60039272b5d8936d18fd4338'>vm: Pass -smp to QEMU to allow use of multiple cores.</a><span class='msg-avail'>...</span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2019-04-25 00:45:35 +0200'>2019-04-25</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=ecb33b87aafd9e240c2cb351525814cb1bb5ceb1'>vm: Adjust FAT serial number code to 32-bit Guile.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-04-21 00:51:18 +0200'>2019-04-21</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=605815023cd21becc0156916f4ce08950b4459e5'>vm: Use a fixed FAT serial number for 'efi.img' in ISO images.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-04-21 00:51:18 +0200'>2019-04-21</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=6901b9248ea21f81f033e7b0de32502e389a5b71'>vm: Reset file timestamps of the EFI image in ISO images.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-04-21 00:51:18 +0200'>2019-04-21</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=833480cc1fa934b64a192fe7b2401491d4f169df'>vm: Reset file timestamps in ISO images.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-04-14 23:40:53 +0200'>2019-04-14</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=f6e3f0f9b1287eca120517a0161e3d0b1ed6ed44'>vm: Remove Xorriso "-padding" option.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-03-13 23:12:43 +0100'>2019-03-13</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=59e80445882f8b0379e54916f89510c0deda6698'>Remove traces of "GuixSD".</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-12-19 00:14:00 +0100'>2018-12-19</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=a934e9fc1c798258d344b49631feb23e195e48fa'>vm: Re-enable KVM on i386.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-12-06 17:22:24 +0100'>2018-12-06</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=178be030c0e4fdeac5e1c968b5c99d84bb4691db'>vm: Add padding in the ISO image.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-11-06 23:21:23 +0100'>2018-11-06</span></td><td><a href='/guix/commit/gnu/build/vm.scm?id=b27ef1d46cfdc3c994b106241f99cd7142083d13'>pack: Import (guix store database) only when '--localstatedir' is passed.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>