Commit | Line | Data |
---|---|---|
d326767e LC |
1 | ;;; GNU Guix --- Functional package management for GNU |
2 | ;;; Copyright © 2015 Ludovic Courtès <ludo@gnu.org> | |
3 | ;;; | |
4 | ;;; This file is part of GNU Guix. | |
5 | ;;; | |
6 | ;;; GNU Guix is free software; you can redistribute it and/or modify it | |
7 | ;;; under the terms of the GNU General Public License as published by | |
8 | ;;; the Free Software Foundation; either version 3 of the License, or (at | |
9 | ;;; your option) any later version. | |
10 | ;;; | |
11 | ;;; GNU Guix is distributed in the hope that it will be useful, but | |
12 | ;;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | ;;; GNU General Public License for more details. | |
15 | ;;; | |
16 | ;;; You should have received a copy of the GNU General Public License | |
17 | ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. | |
18 | ||
19 | (define-module (test-sets) | |
20 | #:use-module (guix sets) | |
21 | #:use-module (srfi srfi-1) | |
22 | #:use-module (srfi srfi-26) | |
23 | #:use-module (srfi srfi-64)) | |
24 | ||
25 | \f | |
26 | (test-begin "sets") | |
27 | ||
28 | (test-assert "set-contains?" | |
29 | (let* ((lst (iota 123)) | |
30 | (set (list->set lst))) | |
31 | (and (every (cut set-contains? set <>) | |
32 | lst) | |
33 | (not (set-contains? set -1))))) | |
34 | ||
35 | (test-assert "set->list" | |
36 | (let* ((lst (iota 123)) | |
37 | (set (list->set lst))) | |
38 | (lset= = lst (set->list set)))) | |
39 | ||
40 | (test-assert "set-union" | |
41 | (let* ((a (list 'a)) | |
42 | (b (list 'b)) | |
43 | (s1 (setq a)) | |
44 | (s2 (setq b)) | |
45 | (s3 (set-union s1 s2))) | |
46 | (and (set-contains? s3 a) | |
47 | (set-contains? s3 b)))) | |
48 | ||
49 | (test-end) |