;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2015 Ludovic Courtès <ludo@gnu.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-sets)
  #:use-module (guix sets)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-26)
  #:use-module (srfi srfi-64))


(test-begin "sets")

(test-assert "set-contains?"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (and (every (cut set-contains? set <>)
                lst)
         (not (set-contains? set -1)))))

(test-assert "set->list"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (lset= = lst (set->list set))))

(test-assert "set-union"
  (let* ((a  (list 'a))
         (b  (list 'b))
         (s1 (setq a))
         (s2 (setq b))
         (s3 (set-union s1 s2)))
    (and (set-contains? s3 a)
         (set-contains? s3 b))))

(test-end)
/admin.scm?id=45ee3fde877ef39dca8382efbbb320c4062637c2'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/services/admin.scm'>
<input type='hidden' name='id' value='45ee3fde877ef39dca8382efbbb320c4062637c2'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=45ee3fde877ef39dca8382efbbb320c4062637c2'>root</a>/<a href='/guix/log/gnu?id=45ee3fde877ef39dca8382efbbb320c4062637c2'>gnu</a>/<a href='/guix/log/gnu/services?id=45ee3fde877ef39dca8382efbbb320c4062637c2'>services</a>/<a href='/guix/log/gnu/services/admin.scm?id=45ee3fde877ef39dca8382efbbb320c4062637c2'>admin.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/services/admin.scm?id=45ee3fde877ef39dca8382efbbb320c4062637c2&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2018-12-23 17:57:06 +0100'>2018-12-23</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=83715a7eec81f41a4163a3230d0d8bbbfeb0a5ed'>services: Fix typo in (gnu services admin).</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2018-10-04 09:32:51 +0200'>2018-10-04</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=89fdd9ee0cc8817283449b33a8c1a2604c575c7e'>services: rottlog: Use command strings in the mcron jobs.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-09-10 12:12:50 +0200'>2018-09-10</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=19de8273eefceac1ba6ddc8d7e374a13f57c678b'>services: tailon: Move to (gnu services web).</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-03-22 11:43:30 +0100'>2018-03-22</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=ca5b73114f13e6f34ded3c415721939c196e07dd'>gnu: shepherd: Update to 0.4.0.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-03-22 11:43:29 +0100'>2018-03-22</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=7fe1432a2ec2b8a7dfbfe882044dadadccd2e2c8'>services: rottlog: Add /var/log/debug to '%default-rotations'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-11-05 15:29:52 +0100'>2017-11-05</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=21b71b01e9c2264c31ef30451c152bb38cc9e635'>services: Add 'description' fields.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-08-09 23:50:35 +0100'>2017-08-09</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=101205662588f033c944034f91e7d3cda06d6e56'>services: admin: Simplify the handling of the Tailon debug? option.</a><span class='msg-avail'>...</span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2017-08-09 23:50:31 +0100'>2017-08-09</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=91fdc8a574cccecd55d042bc1f76ab7f7d3adced'>services: Update the Tailon service for Tailon 1.3.0.</a><span class='msg-avail'>...</span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2017-08-09 23:50:27 +0100'>2017-08-09</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=f2d8e7f720c92dfb0f49d61f7b66d45e3e63e4cd'>services: Add missing wrap-lines option to tailon.</a><span class='msg-avail'>...</span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2017-07-29 12:45:03 +0100'>2017-07-29</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=730ed6ec8b69a0f908a8aadbbe0555dd45de227c'>gnu: services: admin: Add tailon.</a><span class='msg-avail'>...</span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2017-06-12 23:34:14 +0200'>2017-06-12</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=254ea3f945e8bc44f8c3a4159302f24f4fe5f216'>services: rottlog: Make extensible.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-06-12 23:34:13 +0200'>2017-06-12</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=81fa2229ecb80a8ae90c8e24771e1df880e75383'>services: rottlog: Define &lt;log-rotation&gt; objects.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-04-16 00:48:08 +0200'>2017-04-16</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=3d3c56500843b5573ba6419db5e66075fb8ac8ef'>services: Add a default value to various service types.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-12-19 23:57:20 +0100'>2016-12-19</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=dc0ef095b32f57a935764d40530af0b32a01d715'>services: guix: Add 'log-file' configuration option.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-10-03 14:48:44 +0200'>2016-10-03</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=26cfc415be663d4c1c3ec6ce40afe7867a346a04'>services: rottlog: Add Rottlog to the global profile.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-10-03 14:47:55 +0200'>2016-10-03</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=4d67ed70a396ff0d374b93ed2b9eeccdc28c04b6'>services: rottlog: Improve default weekly rotations.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-10-03 00:38:28 +0200'>2016-10-03</span></td><td><a href='/guix/commit/gnu/services/admin.scm?id=92c03a871559590f7f3b0640e3a6cfd83c8044e6'>services: Add rottlog.</a><span class='msg-avail'>...</span></td><td>Jan Nieuwenhuizen</td></tr>