2013-01-05 23:47:50 +00:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2016-01-06 21:42:09 +00:00
|
|
|
;;; Copyright © 2012, 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
|
2014-07-20 16:22:46 +00:00
|
|
|
;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org>
|
2016-02-28 22:11:36 +00:00
|
|
|
;;; Copyright © 2016 Mathieu Lirzin <mthl@gnu.org>
|
2012-06-01 21:08:32 +00:00
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
;;; This file is part of GNU Guix.
|
2012-06-01 21:08:32 +00:00
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
2012-06-01 21:08:32 +00:00
|
|
|
;;; 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.
|
|
|
|
;;;
|
2013-01-05 23:47:50 +00:00
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
2012-06-01 21:08:32 +00:00
|
|
|
;;; 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
|
2013-01-05 23:47:50 +00:00
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
2012-06-01 21:08:32 +00:00
|
|
|
|
|
|
|
(define-module (test-utils)
|
2013-04-29 21:25:19 +00:00
|
|
|
#:use-module ((guix config) #:select (%gzip))
|
2012-06-01 21:08:32 +00:00
|
|
|
#:use-module (guix utils)
|
2012-12-05 21:41:58 +00:00
|
|
|
#:use-module ((guix store) #:select (%store-prefix store-path-package-name))
|
2015-05-06 09:10:24 +00:00
|
|
|
#:use-module ((guix search-paths) #:select (string-tokenize*))
|
2012-06-01 21:08:32 +00:00
|
|
|
#:use-module (srfi srfi-1)
|
2012-06-11 19:50:17 +00:00
|
|
|
#:use-module (srfi srfi-11)
|
2012-06-01 21:08:32 +00:00
|
|
|
#:use-module (srfi srfi-64)
|
2012-06-01 21:29:55 +00:00
|
|
|
#:use-module (rnrs bytevectors)
|
2013-04-29 21:25:19 +00:00
|
|
|
#:use-module (rnrs io ports)
|
2014-07-20 16:22:46 +00:00
|
|
|
#:use-module (ice-9 match)
|
|
|
|
#:use-module (ice-9 vlist))
|
2012-06-01 21:08:32 +00:00
|
|
|
|
2014-03-06 17:38:19 +00:00
|
|
|
(define temp-file
|
|
|
|
(string-append "t-utils-" (number->string (getpid))))
|
|
|
|
|
2012-06-01 21:08:32 +00:00
|
|
|
(test-begin "utils")
|
|
|
|
|
2012-06-09 14:34:18 +00:00
|
|
|
(test-assert "bytevector->base16-string->bytevector"
|
|
|
|
(every (lambda (bv)
|
|
|
|
(equal? (base16-string->bytevector
|
|
|
|
(bytevector->base16-string bv))
|
|
|
|
bv))
|
|
|
|
(map string->utf8 '("" "f" "fo" "foo" "foob" "fooba" "foobar"))))
|
|
|
|
|
2012-06-11 19:50:17 +00:00
|
|
|
(test-assert "gnu-triplet->nix-system"
|
|
|
|
(let ((samples '(("i586-gnu0.3" "i686-gnu")
|
|
|
|
("x86_64-unknown-linux-gnu" "x86_64-linux")
|
|
|
|
("i386-pc-linux-gnu" "i686-linux")
|
|
|
|
("x86_64-unknown-freebsd8.2" "x86_64-freebsd")
|
|
|
|
("x86_64-apple-darwin10.8.0" "x86_64-darwin")
|
|
|
|
("i686-pc-cygwin" "i686-cygwin"))))
|
|
|
|
(let-values (((gnu nix) (unzip2 samples)))
|
|
|
|
(every (lambda (gnu nix)
|
|
|
|
(equal? nix (gnu-triplet->nix-system gnu)))
|
|
|
|
gnu nix))))
|
|
|
|
|
2012-11-04 00:29:18 +00:00
|
|
|
(test-assert "package-name->name+version"
|
|
|
|
(every (match-lambda
|
|
|
|
((name version)
|
|
|
|
(let*-values (((full-name)
|
|
|
|
(if version
|
2016-02-28 22:11:36 +00:00
|
|
|
(string-append name "@" version)
|
2012-11-04 00:29:18 +00:00
|
|
|
name))
|
|
|
|
((name* version*)
|
|
|
|
(package-name->name+version full-name)))
|
|
|
|
(and (equal? name* name)
|
|
|
|
(equal? version* version)))))
|
|
|
|
'(("foo" "0.9.1b")
|
2016-02-28 22:11:36 +00:00
|
|
|
("foo-14-bar" "320")
|
2012-11-04 00:29:18 +00:00
|
|
|
("foo-bar2" #f)
|
|
|
|
("guile" "2.0.6.65-134c9") ; as produced by `git-version-gen'
|
|
|
|
("nixpkgs" "1.0pre22125_a28fe19")
|
|
|
|
("gtk2" "2.38.0"))))
|
|
|
|
|
2013-08-23 13:51:36 +00:00
|
|
|
(test-assert "guile-version>? 1.8"
|
|
|
|
(guile-version>? "1.8"))
|
|
|
|
|
|
|
|
(test-assert "guile-version>? 10.5"
|
|
|
|
(not (guile-version>? "10.5")))
|
|
|
|
|
2013-04-28 19:38:40 +00:00
|
|
|
(test-equal "string-tokenize*"
|
|
|
|
'(("foo")
|
|
|
|
("foo" "bar" "baz")
|
|
|
|
("foo" "bar" "")
|
|
|
|
("foo" "bar" "baz"))
|
2015-05-06 09:10:24 +00:00
|
|
|
(list (string-tokenize* "foo" ":")
|
|
|
|
(string-tokenize* "foo;bar;baz" ";")
|
|
|
|
(string-tokenize* "foo!bar!" "!")
|
|
|
|
(string-tokenize* "foo+-+bar+-+baz" "+-+")))
|
2013-04-28 19:38:40 +00:00
|
|
|
|
2013-11-12 21:56:13 +00:00
|
|
|
(test-equal "string-replace-substring"
|
|
|
|
'("foo BAR! baz"
|
|
|
|
"/gnu/store/chbouib"
|
|
|
|
"")
|
|
|
|
(list (string-replace-substring "foo bar baz" "bar" "BAR!")
|
|
|
|
(string-replace-substring "/nix/store/chbouib" "/nix/" "/gnu/")
|
|
|
|
(string-replace-substring "" "foo" "bar")))
|
|
|
|
|
2013-04-14 14:56:08 +00:00
|
|
|
(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))
|
|
|
|
|
2015-10-09 16:10:47 +00:00
|
|
|
(test-equal "split, element is in list"
|
|
|
|
'((foo) (baz))
|
|
|
|
(call-with-values
|
|
|
|
(lambda ()
|
|
|
|
(split '(foo bar baz) 'bar))
|
|
|
|
list))
|
|
|
|
|
|
|
|
(test-equal "split, element is not in list"
|
|
|
|
'((foo bar baz) ())
|
|
|
|
(call-with-values
|
|
|
|
(lambda ()
|
|
|
|
(split '(foo bar baz) 'quux))
|
|
|
|
list))
|
|
|
|
|
2014-10-01 08:19:14 +00:00
|
|
|
(test-equal "strip-keyword-arguments"
|
|
|
|
'(a #:b b #:c c)
|
|
|
|
(strip-keyword-arguments '(#:foo #:bar #:baz)
|
|
|
|
'(a #:foo 42 #:b b #:baz 3
|
|
|
|
#:c c #:bar 4)))
|
|
|
|
|
2016-01-06 21:42:09 +00:00
|
|
|
(test-equal "ensure-keyword-arguments"
|
|
|
|
'((#:foo 2)
|
|
|
|
(#:foo 2 #:bar 3)
|
|
|
|
(#:foo 42 #:bar 3))
|
|
|
|
(list (ensure-keyword-arguments '(#:foo 2) '(#:foo 2))
|
|
|
|
(ensure-keyword-arguments '(#:foo 2) '(#:bar 3))
|
|
|
|
(ensure-keyword-arguments '(#:foo 2) '(#:bar 3 #:foo 42))))
|
|
|
|
|
2014-07-20 16:22:46 +00:00
|
|
|
(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))))
|
|
|
|
|
2013-04-29 21:25:19 +00:00
|
|
|
(test-assert "filtered-port, file"
|
2013-05-15 21:40:09 +00:00
|
|
|
(let* ((file (search-path %load-path "guix.scm"))
|
2013-08-22 15:14:20 +00:00
|
|
|
(input (open-file file "r0b")))
|
2013-05-15 21:40:09 +00:00
|
|
|
(let*-values (((compressed pids1)
|
|
|
|
(filtered-port `(,%gzip "-c" "--fast") input))
|
|
|
|
((decompressed pids2)
|
|
|
|
(filtered-port `(,%gzip "-d") compressed)))
|
|
|
|
(and (every (compose zero? cdr waitpid)
|
|
|
|
(append pids1 pids2))
|
|
|
|
(equal? (get-bytevector-all decompressed)
|
|
|
|
(call-with-input-file file get-bytevector-all))))))
|
2013-04-29 21:25:19 +00:00
|
|
|
|
|
|
|
(test-assert "filtered-port, non-file"
|
|
|
|
(let ((data (call-with-input-file (search-path %load-path "guix.scm")
|
|
|
|
get-bytevector-all)))
|
|
|
|
(let*-values (((compressed pids1)
|
|
|
|
(filtered-port `(,%gzip "-c" "--fast")
|
|
|
|
(open-bytevector-input-port data)))
|
|
|
|
((decompressed pids2)
|
|
|
|
(filtered-port `(,%gzip "-d") compressed)))
|
|
|
|
(and (pk (every (compose zero? cdr waitpid)
|
|
|
|
(append pids1 pids2)))
|
|
|
|
(equal? (get-bytevector-all decompressed) data)))))
|
|
|
|
|
2014-03-22 20:50:12 +00:00
|
|
|
(test-assert "filtered-port, does not exist"
|
|
|
|
(let* ((file (search-path %load-path "guix.scm"))
|
|
|
|
(input (open-file file "r0b")))
|
|
|
|
(let-values (((port pids)
|
|
|
|
(filtered-port '("/does/not/exist") input)))
|
|
|
|
(any (compose (negate zero?) cdr waitpid)
|
|
|
|
pids))))
|
|
|
|
|
2014-03-22 20:58:23 +00:00
|
|
|
(test-assert "compressed-port, decompressed-port, non-file"
|
|
|
|
(let ((data (call-with-input-file (search-path %load-path "guix.scm")
|
|
|
|
get-bytevector-all)))
|
|
|
|
(let*-values (((compressed pids1)
|
|
|
|
(compressed-port 'xz (open-bytevector-input-port data)))
|
|
|
|
((decompressed pids2)
|
|
|
|
(decompressed-port 'xz compressed)))
|
|
|
|
(and (every (compose zero? cdr waitpid)
|
|
|
|
(append pids1 pids2))
|
|
|
|
(equal? (get-bytevector-all decompressed) data)))))
|
|
|
|
|
2014-03-24 20:09:15 +00:00
|
|
|
(false-if-exception (delete-file temp-file))
|
2014-03-24 21:15:29 +00:00
|
|
|
(test-assert "compressed-output-port + decompressed-port"
|
|
|
|
(let* ((file (search-path %load-path "guix/derivations.scm"))
|
2014-04-13 22:24:24 +00:00
|
|
|
(data (call-with-input-file file get-bytevector-all))
|
|
|
|
(port (open-file temp-file "w0b")))
|
|
|
|
(call-with-compressed-output-port 'xz port
|
2014-03-24 21:15:29 +00:00
|
|
|
(lambda (compressed)
|
|
|
|
(put-bytevector compressed data)))
|
2014-04-13 22:24:24 +00:00
|
|
|
(close-port port)
|
2014-03-24 21:15:29 +00:00
|
|
|
|
|
|
|
(bytevector=? data
|
|
|
|
(call-with-decompressed-port 'xz (open-file temp-file "r0b")
|
|
|
|
get-bytevector-all))))
|
2014-03-24 20:09:15 +00:00
|
|
|
|
2014-03-06 17:38:19 +00:00
|
|
|
(false-if-exception (delete-file temp-file))
|
2014-03-07 15:46:09 +00:00
|
|
|
(test-equal "fcntl-flock wait"
|
2014-03-06 17:38:19 +00:00
|
|
|
42 ; the child's exit status
|
2014-04-07 16:08:56 +00:00
|
|
|
(let ((file (open-file temp-file "w0b")))
|
2014-03-06 17:38:19 +00:00
|
|
|
;; Acquire an exclusive lock.
|
|
|
|
(fcntl-flock file 'write-lock)
|
2014-01-10 22:27:39 +00:00
|
|
|
(match (primitive-fork)
|
|
|
|
(0
|
|
|
|
(dynamic-wind
|
|
|
|
(const #t)
|
|
|
|
(lambda ()
|
2014-03-06 17:38:19 +00:00
|
|
|
;; Reopen FILE read-only so we can have a read lock.
|
2014-04-07 16:08:56 +00:00
|
|
|
(let ((file (open-file temp-file "r0b")))
|
2014-03-06 17:38:19 +00:00
|
|
|
;; Wait until we can acquire the lock.
|
|
|
|
(fcntl-flock file 'read-lock)
|
|
|
|
(primitive-exit (read file)))
|
2014-01-10 22:27:39 +00:00
|
|
|
(primitive-exit 1))
|
|
|
|
(lambda ()
|
|
|
|
(primitive-exit 2))))
|
|
|
|
(pid
|
2014-03-06 17:38:19 +00:00
|
|
|
;; Write garbage and wait.
|
|
|
|
(display "hello, world!" file)
|
|
|
|
(force-output file)
|
|
|
|
(sleep 1)
|
|
|
|
|
|
|
|
;; Write the real answer.
|
|
|
|
(seek file 0 SEEK_SET)
|
|
|
|
(truncate-file file 0)
|
|
|
|
(write 42 file)
|
|
|
|
(force-output file)
|
|
|
|
|
|
|
|
;; Unlock, which should let the child continue.
|
|
|
|
(fcntl-flock file 'unlock)
|
|
|
|
|
2014-01-10 22:27:39 +00:00
|
|
|
(match (waitpid pid)
|
|
|
|
((_ . status)
|
|
|
|
(let ((result (status:exit-val status)))
|
|
|
|
(close-port file)
|
|
|
|
result)))))))
|
|
|
|
|
2014-03-07 15:46:09 +00:00
|
|
|
(test-equal "fcntl-flock non-blocking"
|
|
|
|
EAGAIN ; the child's exit status
|
|
|
|
(match (pipe)
|
|
|
|
((input . output)
|
|
|
|
(match (primitive-fork)
|
|
|
|
(0
|
|
|
|
(dynamic-wind
|
|
|
|
(const #t)
|
|
|
|
(lambda ()
|
|
|
|
(close-port output)
|
|
|
|
|
|
|
|
;; Wait for the green light.
|
|
|
|
(read-char input)
|
|
|
|
|
|
|
|
;; Open FILE read-only so we can have a read lock.
|
2014-04-07 16:08:56 +00:00
|
|
|
(let ((file (open-file temp-file "w0")))
|
2014-03-07 15:46:09 +00:00
|
|
|
(catch 'flock-error
|
|
|
|
(lambda ()
|
|
|
|
;; This attempt should throw EAGAIN.
|
|
|
|
(fcntl-flock file 'write-lock #:wait? #f))
|
|
|
|
(lambda (key errno)
|
2014-04-07 16:08:56 +00:00
|
|
|
(primitive-exit (pk 'errno errno)))))
|
2014-03-07 15:46:09 +00:00
|
|
|
(primitive-exit -1))
|
|
|
|
(lambda ()
|
|
|
|
(primitive-exit -2))))
|
|
|
|
(pid
|
|
|
|
(close-port input)
|
2014-04-07 16:08:56 +00:00
|
|
|
(let ((file (open-file temp-file "w0")))
|
2014-03-07 15:46:09 +00:00
|
|
|
;; Acquire an exclusive lock.
|
|
|
|
(fcntl-flock file 'write-lock)
|
|
|
|
|
|
|
|
;; Tell the child to continue.
|
|
|
|
(write 'green-light output)
|
|
|
|
(force-output output)
|
|
|
|
|
|
|
|
(match (waitpid pid)
|
|
|
|
((_ . status)
|
|
|
|
(let ((result (status:exit-val status)))
|
|
|
|
(fcntl-flock file 'unlock)
|
|
|
|
(close-port file)
|
|
|
|
result)))))))))
|
|
|
|
|
2012-11-01 00:39:23 +00:00
|
|
|
;; This is actually in (guix store).
|
|
|
|
(test-equal "store-path-package-name"
|
|
|
|
"bash-4.2-p24"
|
|
|
|
(store-path-package-name
|
2012-12-05 21:41:58 +00:00
|
|
|
(string-append (%store-prefix)
|
|
|
|
"/qvs2rj2ia5vci3wsdb7qvydrmacig4pg-bash-4.2-p24")))
|
2012-11-01 00:39:23 +00:00
|
|
|
|
2015-11-14 14:00:36 +00:00
|
|
|
(test-equal "canonical-newline-port"
|
|
|
|
"This is a journey\nInto the sound\nA journey ...\n"
|
|
|
|
(let ((port (open-string-input-port
|
|
|
|
"This is a journey\r\nInto the sound\r\nA journey ...\n")))
|
|
|
|
(get-string-all (canonical-newline-port port))))
|
|
|
|
|
2012-06-01 21:08:32 +00:00
|
|
|
(test-end)
|
|
|
|
|
2014-03-06 17:38:19 +00:00
|
|
|
(false-if-exception (delete-file temp-file))
|