stdlib/test/tests.lux


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

(.module:
  lux
  (lux [cli #+ program:]
       [test])
  (test ["_." lux]
        (lux ["_." cli]
             ["_." host]
             ["_." io]
             (time ["_." instant]
                   ["_." duration]
                   ["_." date])
             (concurrency ["_." actor]
                          ["_." atom]
                          ["_." frp]
                          ["_." promise]
                          ["_." stm])
             (control ["_." exception]
                      ["_." interval]
                      ["_." pipe]
                      ["_." cont]
                      ["_." reader]
                      ["_." writer]
                      ["_." state]
                      ["_." parser]
                      ["_." thread]
                      ["_." region])
             (data ["_." bit]
                   ["_." bool]
                   ["_." error]
                   ["_." ident]
                   ["_." identity]
                   ["_." maybe]
                   ["_." number]
                   ["_." product]
                   ["_." sum]
                   ["_." text]
                   ["_." lazy]
                   ["_." color]
                   (number ["_." ratio]
                           ["_." complex])
                   (format ["_." json]
                           ["_." xml])
                   (coll ["_." array]
                         ["_." bits]
                         ["_." dict]
                         ["_." list]
                         ["_." queue]
                         ["_." set]
                         ["_." stack]
                         ["_." sequence]
                         ["_." priority-queue]
                         ["_." stream]
                         (tree ["tree_." rose]
                               ["tree_." zipper])
                         (ordered ["ordered_." dict]
                                  ["ordered_." set]))
                   (text ["_." format]
                         ["_." lexer]
                         ["_." regex]))
             ["_." math]
             (math ["_." random]
                   ["_." modular]
                   ["_." constructive]
                   (logic ["_." continuous]
                          ["_." fuzzy]))
             (macro ["_." code]
                    ["_." syntax]
                    (poly ["poly_." eq]
                          ["poly_." functor]))
             (type ["_." implicit]
                   ["_." object])
             (lang ["lang/_." syntax]
                   ["_." type]
                   (type ["_." check]))
             (world ["_." blob]
                    ["_." file]
                    (net ["_." tcp]
                         ["_." udp]))
             ))
  (lux (control [contract]
                [concatenative]
                [predicate])
       (data [env]
             [trace]
             [store]
             [tainted]
             (format [context]
                     [html]
                     [css])
             (coll (tree ["tree_." parser])))
       [macro]
       (macro (poly [json]))
       (type [unit]
             [refinement]
             [quotient])
       [world/env]
       [world/console])
  )

(program: args
  (test.run))