;;; 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)
kages/libidn.scm?id=0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/libidn.scm'>
<input type='hidden' name='id' value='0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d'/><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=0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d'>root</a>/<a href='/guix/log/gnu?id=0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d'>gnu</a>/<a href='/guix/log/gnu/packages?id=0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d'>packages</a>/<a href='/guix/log/gnu/packages/libidn.scm?id=0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d'>libidn.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/packages/libidn.scm?id=0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2017-09-04 20:39:20 -0400'>2017-09-04</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=b8b0f536a4f9a26c1d4002ca54048db6d5e58760'>gnu: libidn2: Replace with 2.0.4 [security fixes].</a><span class='msg-avail'>...</span></td><td>Mark H Weaver</td></tr>
<tr><td><span title='2017-05-22 20:42:50 +0200'>2017-05-22</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=9b5fccbc48ab9acaa24d727a93d09f3e1f41de09'>gnu: libidn2: Update to 2.0.2.</a><span class='msg-avail'>...</span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2017-04-23 19:12:42 +0300'>2017-04-23</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=f98adb1cb3315a68b7f6c741fa3d647c305db369'>gnu: libidn2: Update to 2.0.1.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2017-03-30 22:59:53 +0200'>2017-03-30</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=84157bb8bf2c610584e0836047da4c710f8eaf76'>Merge branch 'master' into core-updates</a><span class='msg-avail'>...</span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2017-03-30 01:30:16 +0200'>2017-03-30</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=6fd52309b8f52c9bb59fccffac53e029ce94b698'>gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.</a><span class='msg-avail'>...</span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2017-03-14 21:29:27 +0100'>2017-03-14</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=77c5d63f4d76f2905d975316347948cc913c6d20'>gnu: libidn2: Create 'pkg-config' file.</a><span class='msg-avail'>...</span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2017-02-06 02:33:31 +0100'>2017-02-06</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=0418ff7a37c02b314eda67db177565db24ca34f4'>gnu: libidn2: Update to 0.16.</a><span class='msg-avail'>...</span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2016-11-06 03:29:06 -0500'>2016-11-06</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=8b6ad165d1fa479e5da2938d099dba356186e07c'>Merge branch 'master' into core-updates</a></td><td>Mark H Weaver</td></tr>
<tr><td><span title='2016-11-05 01:12:35 -0400'>2016-11-05</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=c2f4cab9a062bdd01af48584424f38ccebb7c29d'>gnu: libidn: Distinguish from libidn2.</a><span class='msg-avail'>...</span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2016-11-05 01:12:31 -0400'>2016-11-05</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=250a8abc6634291334029b689b89058ba33b0ec4'>gnu: Add libidn2.</a><span class='msg-avail'>...</span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2016-09-02 09:52:56 -0400'>2016-09-02</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=d058708e86dab50579d3147e3ee2c6fcc03e63c9'>gnu: libidn: Replace with 1.33 [fixes CVE-2015-8948 and CVE-2016-{6261,6263}].</a><span class='msg-avail'>...</span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2016-08-14 15:26:10 -0400'>2016-08-14</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=4f81d52720590d0df5e607086f13c9251d6812d4'>gnu: libidn: Update to 1.33.</a><span class='msg-avail'>...</span></td><td>Leo Famulari</td></tr>
<tr><td><span title='2016-05-16 06:10:06 +0300'>2016-05-16</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=74dd0e483137ccdd3ed19e094811719ec69cf838'>gnu: libidn: Update license.</a><span class='msg-avail'>...</span></td><td>Efraim Flashner</td></tr>
<tr><td><span title='2015-09-13 21:36:13 +0200'>2015-09-13</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=fb76332f802e1835925c09eec3b1633e5d5a5e47'>gnu: libidn: Update to 1.32.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-07-10 23:47:08 -0400'>2015-07-10</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=f9aec676acda2644f8622e83a9b40dca3b8d72d9'>gnu: libidn: Update to 1.31.</a><span class='msg-avail'>...</span></td><td>Mark H Weaver</td></tr>
<tr><td><span title='2015-04-21 18:57:28 -0400'>2015-04-21</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=30536f2c8b1d866b6020597a163d7ca11e02af9d'>gnu: libidn: Update to 1.30.</a><span class='msg-avail'>...</span></td><td>Andreas Enge</td></tr>
<tr><td><span title='2015-04-21 17:47:34 -0400'>2015-04-21</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=54b76b60d961b9b3c70b50831e19199b92dd1526'>Revert "gnu: libidn: Update to 1.30."</a><span class='msg-avail'>...</span></td><td>Mark H Weaver</td></tr>
<tr><td><span title='2015-04-21 22:59:50 +0200'>2015-04-21</span></td><td><a href='/guix/commit/gnu/packages/libidn.scm?id=8462a03f2861a1b3ed33e99a6f5a886bb9093846'>gnu: libidn: Update to 1.30.</a><span class='msg-avail'>...</span></td><td>Andreas Enge</td></tr>