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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141

(.module:
  lux
  (lux [cli (#+ program:)]
       [test])
  (test ["_." lux]
        (lux ["_." cli]
             ["_." host]
             ["_." io]
             (time ["_." instant]
                   ["_." duration]
                   ["_." date])
             (concurrency ["_." actor]
                          ["_." atom]
                          ["_." frp]
                          ["_." promise]
                          ["_." stm]
                          ["_." semaphore])
             (control ["_." exception]
                      ["_." interval]
                      ["_." pipe]
                      ["_." continuation]
                      ["_." reader]
                      ["_." writer]
                      ["_." state]
                      ["_." parser]
                      ["_." thread]
                      ["_." region])
             (data ["_." bit]
                   ["_." bool]
                   ["_." color]
                   ["_." error]
                   ["_." ident]
                   ["_." identity]
                   ["_." lazy]
                   ["_." maybe]
                   ["_." product]
                   ["_." sum]
                   ## ["_." number] ## Specially troublesome...
                   (number ["_." ratio]
                           ["_." complex])
                   ["_." text]
                   (text ["_." format]
                         ["_." lexer]
                         ["_." regex])
                   (format ["_." json]
                           ["_." xml])
                   (collection ["_." array]
                               ["_." bits]
                               ["_." list]
                               ["_." stack]
                               ["_." row]
                               ["_." sequence]
                               ["_." dictionary]
                               (dictionary ["_.D" ordered])
                               ["_." set]
                               (set ["_.S" ordered])
                               ["_." queue]
                               (queue ["_." priority])
                               (tree ["_." rose]
                                     (rose ["_." zipper]))))
             ["_." math]
             (math ["_." random]
                   ["_." modular]
                   (logic ["_." continuous]
                          ["_." fuzzy]))
             (macro ["_." code]
                    ["_." syntax]
                    (poly ["poly_." equivalence]
                          ["poly_." functor]))
             (type ## ["_." implicit] ## Specially troublesome...
                   ["_." resource]
              (object
                ["_." interface]
                ["_." protocol]))
             (language ["_language/." syntax]
                       ["_." type]
                       (type ["_." check])
                       (compiler (analysis ["_.A" primitive]
                                           ["_.A" structure]
                                           ["_.A" reference]
                                           ["_.A" case]
                                           ["_.A" function]
                                           ## (procedure ["_.A" common]
                                           ##            ["_.A" host])
                                           )
                                 ## (synthesis ["_.S" primitive]
                                 ##            ["_.S" structure]
                                 ##            ["_.S" case]
                                 ##            ["_.S" function])
                                 )
                       )
             (world ["_." blob]
                    ## ["_." file] ## Specially troublesome...
                    (net ["_." tcp]
                         ["_." udp]))
             ))
  (lux (control [contract]
                [concatenative]
                [predicate]
                [monad/free])
       (data [env]
             [trace]
             [store]
             [tainted]
             (format [context]
                     [html]
                     [css]
                     [binary])
             (collection (tree ["_." rose/parser])
                         (dictionary [plist])
                         (set [multi]))
             (text [buffer]))
       [macro]
       (macro (poly [json]))
       (type [unit]
             [refinement]
             [quotient])
       (world [environment]
              [console])
       (language (host [".H" scheme])
                 (compiler [translation]
                           (translation (scheme ["._scheme" primitive]
                                                ["._scheme" structure]
                                                ["._scheme" reference]
                                                ["._scheme" function]
                                                ["._scheme" loop]
                                                ["._scheme" case]
                                                ["._scheme" extension]
                                                ["._scheme" extension/common]
                                                ["._scheme" expression]))
                           (default (repl [type]))
                           (meta [io]
                                 [io/context]
                                 [io/archive]
                                 [archive]
                                 ["._meta" cache])
                           (default ["._default" cache]))))
  )

(program: args
  (test.run))