Changeset 30448 in project


Ignore:
Timestamp:
02/11/14 14:22:17 (6 years ago)
Author:
juergen
Message:

tuples 1.2 with simple-test replaced by compound-test

Location:
release/4/tuples
Files:
2 edited
5 copied

Legend:

Unmodified
Added
Removed
  • release/4/tuples/tags/1.2/tests/run.scm

    r29790 r30448  
    1010
    1111
    12 (compound-test ("TUPLES")
    13 (simple-test ("TUPLES")
    14   (define tup (tuple 0 1 2 3))
    15   (equal? (tuple->list tup) '(0 1 2 3))
    16   (tuple-eql? = tup '#,(tuple 0 1 2 3))
    17   (tuple-equal? tup (tuple 0 1 2 3))
    18   (tuple? tup)
    19   (= (tuple-length tup) 4)
    20   (= (tuple-ref tup 2) 2)
    21   (= (tuple-find (lambda (x) (= x 2)) tup) 2)
    22   (not (tuple-find (cut = <> 4) tup))
    23   (equal? (tuple->list (tuple-map add1 tup)) '(1 2 3 4))
    24   (tuple-eqv? (tuple-map + tup (tuple 0 10 20 30) (tuple 0 100 200 300))
    25               (tuple 0 111 222 333))
    26   (equal?
    27     (let ((result '()))
    28       (tuple-for-each (lambda (x) (set! result (cons x result)))
    29                       tup)
    30       result)
    31     '(3 2 1 0))
    32   (receive (head tail) (tuple-split tup 2)
    33     (and (equal? (tuple->list head) '(0 1))
    34          (equal? (tuple->list tail) '(2 3))))
    35   (equal? (tuple->list (tuple-copy tup)) '(0 1 2 3))
    36   (equal? (tuple->list (tuple-from-upto tup 2 3)) '(2))
    37   (equal? (tuple->list (tuple-from-upto tup 2)) '(2 3))
    38   (equal? (tuple->list (tuple)) '())
    39   (tuple-empty? (tuple))
    40   ((tuple-of? even?) (tuple))
    41   (not ((tuple-of? even?) (tuple 1 2 3)))
    42   ((tuple-of? even?) (tuple 2 4 6))
    43   (not (tuple? 3))
    44   (= (tuple-length (tuple)) 0)
    45   (not (tuple-find (cut = 3 <>) (tuple)))
    46   (= (tuple-find (cut = 2 <>) tup) 2)
    47   (not (tuple-equal? (tuple) (tuple 1)))
    48   (tuple-eql? = (list->tuple '(0 1 2 3)) tup)
    49   (tuple-eqv? (list->tuple '()) (tuple))
    50   (tuple-eq? (tuple-map add1 (tuple)) (tuple))
    51   (tuple-equal? (tuple-append (tuple 0 1 2) (tuple 3) (tuple 4 5))
    52                 (tuple 0 1 2 3 4 5))
    53   (tuple-eqv? (tuple-butleft tup) (tuple 1 2 3))
    54   (tuple-eqv? (tuple-butright tup) (tuple 0 1 2))
    55   (tuple-eqv? (tuple-tail tup 2) (tuple 2 3))
    56   (tuple-eqv? (tuple-head tup 2) (tuple 0 1))
    57   (tuple-eqv? (tuple-cons-left 0 (tuple-butleft tup)) tup)
    58   (tuple-eqv? (tuple-cons-right 3 (tuple-butright tup)) tup)
    59   (not (tuple-empty? (tuple 1 2)))
    60   (not (tuple-empty? 3))
     12(define-test (tuples?)
     13  (check
     14    (define tup (tuple 0 1 2 3))
     15    (equal? (tuple->list tup) '(0 1 2 3))
     16    (tuple-eql? = tup '#,(tuple 0 1 2 3))
     17    (tuple-equal? tup (tuple 0 1 2 3))
     18    (tuple? tup)
     19    (= (tuple-length tup) 4)
     20    (= (tuple-ref tup 2) 2)
     21    (= (tuple-find (lambda (x) (= x 2)) tup) 2)
     22    (not (tuple-find (cut = <> 4) tup))
     23    (equal? (tuple->list (tuple-map add1 tup)) '(1 2 3 4))
     24    (tuple-eqv? (tuple-map + tup (tuple 0 10 20 30) (tuple 0 100 200 300))
     25                (tuple 0 111 222 333))
     26    (equal?
     27      (let ((result '()))
     28        (tuple-for-each (lambda (x) (set! result (cons x result)))
     29                        tup)
     30        result)
     31      '(3 2 1 0))
     32    (receive (head tail) (tuple-split tup 2)
     33      (and (equal? (tuple->list head) '(0 1))
     34           (equal? (tuple->list tail) '(2 3))))
     35    (equal? (tuple->list (tuple-copy tup)) '(0 1 2 3))
     36    (equal? (tuple->list (tuple-from-upto tup 2 3)) '(2))
     37    (equal? (tuple->list (tuple-from-upto tup 2)) '(2 3))
     38    (equal? (tuple->list (tuple)) '())
     39    (tuple-empty? (tuple))
     40    ((tuple-of? even?) (tuple))
     41    (not ((tuple-of? even?) (tuple 1 2 3)))
     42    ((tuple-of? even?) (tuple 2 4 6))
     43    (not (tuple? 3))
     44    (= (tuple-length (tuple)) 0)
     45    (not (tuple-find (cut = 3 <>) (tuple)))
     46    (= (tuple-find (cut = 2 <>) tup) 2)
     47    (not (tuple-equal? (tuple) (tuple 1)))
     48    (tuple-eql? = (list->tuple '(0 1 2 3)) tup)
     49    (tuple-eqv? (list->tuple '()) (tuple))
     50    (tuple-eq? (tuple-map add1 (tuple)) (tuple))
     51    (tuple-equal? (tuple-append (tuple 0 1 2) (tuple 3) (tuple 4 5))
     52                  (tuple 0 1 2 3 4 5))
     53    (tuple-eqv? (tuple-butleft tup) (tuple 1 2 3))
     54    (tuple-eqv? (tuple-butright tup) (tuple 0 1 2))
     55    (tuple-eqv? (tuple-tail tup 2) (tuple 2 3))
     56    (tuple-eqv? (tuple-head tup 2) (tuple 0 1))
     57    (tuple-eqv? (tuple-cons-left 0 (tuple-butleft tup)) tup)
     58    (tuple-eqv? (tuple-cons-right 3 (tuple-butright tup)) tup)
     59    (not (tuple-empty? (tuple 1 2)))
     60    (not (tuple-empty? 3))
     61  ))
     62
     63(define-test (singles?)
     64  (check
     65    (single? (single 1))
     66    (not (single? 3))
     67    (define sgl (single 0))
     68    (= (single-ref sgl) 0)
     69    (= (begin (single-set! sgl 2) (single-ref sgl)) 2)
     70    ))
     71
     72(define-test (couples?)
     73  (check
     74    (define cpl (couple 0 1))
     75    (couple? cpl)
     76    (not (triple? cpl))
     77    (= (couple-left cpl) 0)
     78    (= (couple-right cpl) 1)
     79    ))
     80
     81(define-test (triples?)
     82  (check
     83    (define trp (triple 0 1 2))
     84    (not (couple? trp))
     85    (tuple? (couple->tuple cpl))
     86    (not (tuple? trp))
     87    (tuple? (triple->tuple trp))
     88    (triple? trp)
     89    (= (triple-left trp) 0)
     90    (= (triple-middle trp) 1)
     91    (= (triple-right trp) 2)
     92  ))
     93
     94(compound-test (TUPLES)
     95  (tuples?)
     96  (singles?)
     97  (couples?)
     98  (triples?)
    6199  )
    62 
    63 (simple-test ("MUTABLE SINGLES")
    64   (single? (single 1))
    65   (not (single? 3))
    66   (define sgl (single 0))
    67   (= (single-ref sgl) 0)
    68   (= (begin (single-set! sgl 2) (single-ref sgl)) 2)
    69   )
    70 
    71 (simple-test ("COUPLES")
    72   (define cpl (couple 0 1))
    73   (couple? cpl)
    74   (not (triple? cpl))
    75   (= (couple-left cpl) 0)
    76   (= (couple-right cpl) 1)
    77   )
    78 
    79 (simple-test ("TRIPLES")
    80   (define trp (triple 0 1 2))
    81   (not (couple? trp))
    82   (tuple? (couple->tuple cpl))
    83   (not (tuple? trp))
    84   (tuple? (triple->tuple trp))
    85   (triple? trp)
    86   (= (triple-left trp) 0)
    87   (= (triple-middle trp) 1)
    88   (= (triple-right trp) 2)
    89 ))
  • release/4/tuples/tags/1.2/tuples.setup

    r29790 r30448  
    1212 '("tuples.so" "%tuples.import.so" "tuples.import.so"
    1313   "singles.import.so" "couples.import.so" "triples.import.so")
    14  '((version "1.1.2")))
     14 '((version "1.2")))
    1515
    1616
  • release/4/tuples/trunk/tests/run.scm

    r29790 r30448  
    1010
    1111
    12 (compound-test ("TUPLES")
    13 (simple-test ("TUPLES")
    14   (define tup (tuple 0 1 2 3))
    15   (equal? (tuple->list tup) '(0 1 2 3))
    16   (tuple-eql? = tup '#,(tuple 0 1 2 3))
    17   (tuple-equal? tup (tuple 0 1 2 3))
    18   (tuple? tup)
    19   (= (tuple-length tup) 4)
    20   (= (tuple-ref tup 2) 2)
    21   (= (tuple-find (lambda (x) (= x 2)) tup) 2)
    22   (not (tuple-find (cut = <> 4) tup))
    23   (equal? (tuple->list (tuple-map add1 tup)) '(1 2 3 4))
    24   (tuple-eqv? (tuple-map + tup (tuple 0 10 20 30) (tuple 0 100 200 300))
    25               (tuple 0 111 222 333))
    26   (equal?
    27     (let ((result '()))
    28       (tuple-for-each (lambda (x) (set! result (cons x result)))
    29                       tup)
    30       result)
    31     '(3 2 1 0))
    32   (receive (head tail) (tuple-split tup 2)
    33     (and (equal? (tuple->list head) '(0 1))
    34          (equal? (tuple->list tail) '(2 3))))
    35   (equal? (tuple->list (tuple-copy tup)) '(0 1 2 3))
    36   (equal? (tuple->list (tuple-from-upto tup 2 3)) '(2))
    37   (equal? (tuple->list (tuple-from-upto tup 2)) '(2 3))
    38   (equal? (tuple->list (tuple)) '())
    39   (tuple-empty? (tuple))
    40   ((tuple-of? even?) (tuple))
    41   (not ((tuple-of? even?) (tuple 1 2 3)))
    42   ((tuple-of? even?) (tuple 2 4 6))
    43   (not (tuple? 3))
    44   (= (tuple-length (tuple)) 0)
    45   (not (tuple-find (cut = 3 <>) (tuple)))
    46   (= (tuple-find (cut = 2 <>) tup) 2)
    47   (not (tuple-equal? (tuple) (tuple 1)))
    48   (tuple-eql? = (list->tuple '(0 1 2 3)) tup)
    49   (tuple-eqv? (list->tuple '()) (tuple))
    50   (tuple-eq? (tuple-map add1 (tuple)) (tuple))
    51   (tuple-equal? (tuple-append (tuple 0 1 2) (tuple 3) (tuple 4 5))
    52                 (tuple 0 1 2 3 4 5))
    53   (tuple-eqv? (tuple-butleft tup) (tuple 1 2 3))
    54   (tuple-eqv? (tuple-butright tup) (tuple 0 1 2))
    55   (tuple-eqv? (tuple-tail tup 2) (tuple 2 3))
    56   (tuple-eqv? (tuple-head tup 2) (tuple 0 1))
    57   (tuple-eqv? (tuple-cons-left 0 (tuple-butleft tup)) tup)
    58   (tuple-eqv? (tuple-cons-right 3 (tuple-butright tup)) tup)
    59   (not (tuple-empty? (tuple 1 2)))
    60   (not (tuple-empty? 3))
     12(define-test (tuples?)
     13  (check
     14    (define tup (tuple 0 1 2 3))
     15    (equal? (tuple->list tup) '(0 1 2 3))
     16    (tuple-eql? = tup '#,(tuple 0 1 2 3))
     17    (tuple-equal? tup (tuple 0 1 2 3))
     18    (tuple? tup)
     19    (= (tuple-length tup) 4)
     20    (= (tuple-ref tup 2) 2)
     21    (= (tuple-find (lambda (x) (= x 2)) tup) 2)
     22    (not (tuple-find (cut = <> 4) tup))
     23    (equal? (tuple->list (tuple-map add1 tup)) '(1 2 3 4))
     24    (tuple-eqv? (tuple-map + tup (tuple 0 10 20 30) (tuple 0 100 200 300))
     25                (tuple 0 111 222 333))
     26    (equal?
     27      (let ((result '()))
     28        (tuple-for-each (lambda (x) (set! result (cons x result)))
     29                        tup)
     30        result)
     31      '(3 2 1 0))
     32    (receive (head tail) (tuple-split tup 2)
     33      (and (equal? (tuple->list head) '(0 1))
     34           (equal? (tuple->list tail) '(2 3))))
     35    (equal? (tuple->list (tuple-copy tup)) '(0 1 2 3))
     36    (equal? (tuple->list (tuple-from-upto tup 2 3)) '(2))
     37    (equal? (tuple->list (tuple-from-upto tup 2)) '(2 3))
     38    (equal? (tuple->list (tuple)) '())
     39    (tuple-empty? (tuple))
     40    ((tuple-of? even?) (tuple))
     41    (not ((tuple-of? even?) (tuple 1 2 3)))
     42    ((tuple-of? even?) (tuple 2 4 6))
     43    (not (tuple? 3))
     44    (= (tuple-length (tuple)) 0)
     45    (not (tuple-find (cut = 3 <>) (tuple)))
     46    (= (tuple-find (cut = 2 <>) tup) 2)
     47    (not (tuple-equal? (tuple) (tuple 1)))
     48    (tuple-eql? = (list->tuple '(0 1 2 3)) tup)
     49    (tuple-eqv? (list->tuple '()) (tuple))
     50    (tuple-eq? (tuple-map add1 (tuple)) (tuple))
     51    (tuple-equal? (tuple-append (tuple 0 1 2) (tuple 3) (tuple 4 5))
     52                  (tuple 0 1 2 3 4 5))
     53    (tuple-eqv? (tuple-butleft tup) (tuple 1 2 3))
     54    (tuple-eqv? (tuple-butright tup) (tuple 0 1 2))
     55    (tuple-eqv? (tuple-tail tup 2) (tuple 2 3))
     56    (tuple-eqv? (tuple-head tup 2) (tuple 0 1))
     57    (tuple-eqv? (tuple-cons-left 0 (tuple-butleft tup)) tup)
     58    (tuple-eqv? (tuple-cons-right 3 (tuple-butright tup)) tup)
     59    (not (tuple-empty? (tuple 1 2)))
     60    (not (tuple-empty? 3))
     61  ))
     62
     63(define-test (singles?)
     64  (check
     65    (single? (single 1))
     66    (not (single? 3))
     67    (define sgl (single 0))
     68    (= (single-ref sgl) 0)
     69    (= (begin (single-set! sgl 2) (single-ref sgl)) 2)
     70    ))
     71
     72(define-test (couples?)
     73  (check
     74    (define cpl (couple 0 1))
     75    (couple? cpl)
     76    (not (triple? cpl))
     77    (= (couple-left cpl) 0)
     78    (= (couple-right cpl) 1)
     79    ))
     80
     81(define-test (triples?)
     82  (check
     83    (define trp (triple 0 1 2))
     84    (not (couple? trp))
     85    (tuple? (couple->tuple cpl))
     86    (not (tuple? trp))
     87    (tuple? (triple->tuple trp))
     88    (triple? trp)
     89    (= (triple-left trp) 0)
     90    (= (triple-middle trp) 1)
     91    (= (triple-right trp) 2)
     92  ))
     93
     94(compound-test (TUPLES)
     95  (tuples?)
     96  (singles?)
     97  (couples?)
     98  (triples?)
    6199  )
    62 
    63 (simple-test ("MUTABLE SINGLES")
    64   (single? (single 1))
    65   (not (single? 3))
    66   (define sgl (single 0))
    67   (= (single-ref sgl) 0)
    68   (= (begin (single-set! sgl 2) (single-ref sgl)) 2)
    69   )
    70 
    71 (simple-test ("COUPLES")
    72   (define cpl (couple 0 1))
    73   (couple? cpl)
    74   (not (triple? cpl))
    75   (= (couple-left cpl) 0)
    76   (= (couple-right cpl) 1)
    77   )
    78 
    79 (simple-test ("TRIPLES")
    80   (define trp (triple 0 1 2))
    81   (not (couple? trp))
    82   (tuple? (couple->tuple cpl))
    83   (not (tuple? trp))
    84   (tuple? (triple->tuple trp))
    85   (triple? trp)
    86   (= (triple-left trp) 0)
    87   (= (triple-middle trp) 1)
    88   (= (triple-right trp) 2)
    89 ))
  • release/4/tuples/trunk/tuples.setup

    r29790 r30448  
    1212 '("tuples.so" "%tuples.import.so" "tuples.import.so"
    1313   "singles.import.so" "couples.import.so" "triples.import.so")
    14  '((version "1.1.2")))
     14 '((version "1.2")))
    1515
    1616
Note: See TracChangeset for help on using the changeset viewer.