aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/test/tests.lux
blob: b36782517f8d7e1acf757526394317da4a19a4a1 (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
(;module:
  lux
  (lux (control monad)
       [io]
       (concurrency [promise])
       [cli #+ program:]
       [test])
  (test (luxc (lang (analysis ["_;A" primitive]
                              ["_;A" structure]
                              ["_;A" reference]
                              ["_;A" case]
                              ["_;A" function]
                              ["_;A" type]
                              (procedure ["_;A" common]
                                         ["_;A" host]))
                    (synthesis ["_;S" primitive]
                               ["_;S" structure]
                               (case ["_;S" special])
                               ["_;S" function]
                               ["_;S" procedure]
                               ["_;S" loop])
                    (translation ["_;T" primitive]
                                 ["_;T" structure]
                                 ["_;T" case]
                                 ["_;T" function]
                                 ["_;T" reference]
                                 (procedure ["_;T" common]
                                            ["_;T" host])))
              )))

(program: args
  (test;run))