blob: a398aff376f5e582a2e24dc308cf8646b1cfd4fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
;;;; future.test --- Futures. -*- mode: scheme; coding: utf-8; -*-
;;;;
;;;; Ludovic Courtès <ludo@gnu.org>
;;;;
;;;; Copyright (C) 2010, 2012, 2013 Free Software Foundation, Inc.
;;;;
;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public
;;;; License as published by the Free Software Foundation; either
;;;; version 3 of the License, or (at your option) any later version.
;;;;
;;;; This library 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
;;;; Lesser General Public License for more details.
;;;;
;;;; You should have received a copy of the GNU Lesser General Public
;;;; License along with this library; if not, write to the Free Software
;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
(define-module (test-future)
#:use-module (test-suite lib)
#:use-module (ice-9 futures)
#:use-module (srfi srfi-1)
#:use-module (srfi srfi-26))
(define specific-exception-key (gensym))
(define specific-exception
(cons specific-exception-key ".*"))
(with-test-prefix "futures"
(pass-if "make-future"
(future? (make-future (lambda () #f))))
(pass-if "future"
(future? (future #t)))
(pass-if "true"
(touch (future #t)))
(pass-if "(+ 2 3)"
(= 5 (touch (future (+ 2 3)))))
(pass-if "many"
(equal? (iota 1234)
(map touch
(map (lambda (i)
(make-future (lambda () i)))
(iota 1234)))))
(pass-if "touch several times"
(let* ((f+ (unfold (cut >= <> 123)
(lambda (i)
(make-future
(let ((x (1- i)))
(lambda ()
(set! x (1+ x))
i))))
1+
0))
(r1 (map touch f+))
(r2 (map touch f+))
(r3 (map touch f+)))
(equal? (iota 123) r1 r2 r3)))
(pass-if "nested"
(= (touch (future (+ 2 (touch (future -2))
(reduce + 0
(map touch
(map (lambda (i)
(future i))
(iota 123)))))))
(reduce + 0 (iota 123))))
(pass-if "multiple values"
(let ((lst (iota 123)))
(equal? (zip lst lst)
(map (lambda (f)
(call-with-values (cut touch f) list))
(map (lambda (i)
(future (values i i)))
lst)))))
(pass-if "no exception"
(future? (future (throw 'foo 'bar))))
(pass-if-exception "exception"
specific-exception
(touch (future (throw specific-exception-key 'test "thrown!")))))
(with-test-prefix "nested futures"
(pass-if-equal "simple" 2
(touch (future (1+ (touch (future (1+ (touch (future 0)))))))))
(pass-if-equal "loop" (map - (iota 1000))
(let loop ((list (iota 1000)))
(if (null? list)
'()
(cons (- (car list))
(touch (future (loop (cdr list)))))))))
|
