;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2012, 2013 Ludovic Courtès ;;; ;;; 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 . (define-module (test-utils) #:use-module (guix utils) #:use-module ((guix store) #:select (%store-prefix store-path-package-name)) #:use-module (srfi srfi-1) #:use-module (srfi srfi-11) #:use-module (srfi srfi-64) #:use-module (rnrs bytevectors) #:use-module (ice-9 match)) (test-begin "utils") (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")))) (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)))) (test-assert "package-name->name+version" (every (match-lambda ((name version) (let*-values (((full-name) (if version (string-append name "-" version) name)) ((name* version*) (package-name->name+version full-name))) (and (equal? name* name) (equal? version* version))))) '(("foo" "0.9.1b") ("foo-bar" "1.0") ("foo-bar2" #f) ("guile" "2.0.6.65-134c9") ; as produced by `git-version-gen' ("nixpkgs" "1.0pre22125_a28fe19") ("gtk2" "2.38.0")))) (test-equal "string-tokenize*" '(("foo") ("foo" "bar" "baz") ("foo" "bar" "") ("foo" "bar" "baz")) (list (string-tokenize* "foo" ":") (string-tokenize* "foo;bar;baz" ";") (string-tokenize* "foo!bar!" "!") (string-tokenize* "foo+-+bar+-+baz" "+-+"))) (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)) (test-assert "define-record-type*" (begin (define-record-type* foo make-foo foo? (bar foo-bar) (baz foo-baz (default (+ 40 2)))) (and (match (foo (bar 1) (baz 2)) (($ 1 2) #t)) (match (foo (baz 2) (bar 1)) (($ 1 2) #t)) (match (foo (bar 1)) (($ 1 42) #t))))) (test-assert "define-record-type* with letrec* behavior" ;; Make sure field initializers can refer to each other as if they were in ;; a `letrec*'. (begin (define-record-type* bar make-bar foo? (x bar-x) (y bar-y (default (+ 40 2))) (z bar-z)) (and (match (bar (x 1) (y (+ x 1)) (z (* y 2))) (($ 1 2 4) #t)) (match (bar (x 7) (z (* x 3))) (($ 7 42 21))) (match (bar (z 21) (x (/ z 3))) (($ 7 42 21)))))) (test-assert "define-record-type* & inherit" (begin (define-record-type* foo make-foo foo? (bar foo-bar) (baz foo-baz (default (+ 40 2)))) (let* ((a (foo (bar 1))) (b (foo (inherit a) (baz 2))) (c (foo (inherit b) (bar -2))) (d (foo (inherit c))) (e (foo (inherit (foo (bar 42))) (baz 77)))) (and (match a (($ 1 42) #t)) (match b (($ 1 2) #t)) (match c (($ -2 2) #t)) (equal? c d) (match e (($ 42 77) #t)))))) (test-assert "define-record-type* & inherit & letrec* behavior" (begin (define-record-type* foo make-foo foo? (bar foo-bar) (baz foo-baz (default (+ 40 2)))) (let* ((a (foo (bar 77))) (b (foo (inherit a) (bar 1) (baz (+ bar 1)))) (c (foo (inherit b) (baz 2) (bar (- baz 1))))) (and (match a (($ 77 42) #t)) (match b (($ 1 2) #t)) (equal? b c))))) (test-assert "define-record-type* & thunked" (begin (define-record-type* foo make-foo foo? (bar foo-bar) (baz foo-baz (thunked))) (let* ((calls 0) (x (foo (bar 2) (baz (begin (set! calls (1+ calls)) 3))))) (and (zero? calls) (equal? (foo-bar x) 2) (equal? (foo-baz x) 3) (= 1 calls) (equal? (foo-baz x) 3) (= 2 calls))))) (test-assert "define-record-type* & thunked & default" (begin (define-record-type* foo make-foo foo? (bar foo-bar) (baz foo-baz (thunked) (default 42))) (let ((mark (make-parameter #f))) (let ((x (foo (bar 2) (baz (mark)))) (y (foo (bar 2)))) (and (equal? (foo-bar x) 2) (parameterize ((mark (cons 'a 'b))) (eq? (foo-baz x) (mark))) (equal? (foo-bar y) 2) (equal? (foo-baz y) 42)))))) (test-assert "define-record-type* & thunked & inherited" (begin (define-record-type* foo make-foo foo? (bar foo-bar (thunked)) (baz foo-baz (thunked) (default 42))) (let ((mark (make-parameter #f))) (let* ((x (foo (bar 2) (baz (mark)))) (y (foo (inherit x) (bar (mark))))) (and (equal? (foo-bar x) 2) (parameterize ((mark (cons 'a 'b))) (eq? (foo-baz x) (mark))) (parameterize ((mark (cons 'a 'b))) (eq? (foo-bar y) (mark))) (parameterize ((mark (cons 'a 'b))) (eq? (foo-baz y) (mark)))))))) ;; This is actually in (guix store). (test-equal "store-path-package-name" "bash-4.2-p24" (store-path-package-name (string-append (%store-prefix) "/qvs2rj2ia5vci3wsdb7qvydrmacig4pg-bash-4.2-p24"))) (test-end) (exit (= (test-runner-fail-count (test-runner-current)) 0))