blob: 58f36d8c8045f252c90625a0e2247cbe64b01257 (
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
|
(.module:
[library
[lux {"-" [Module Source]}
[control
[pipe {"+" [case>]}]
["<>" parser
["." cli {"+" [Parser]}]]]
[tool
[compiler
[meta
[archive
[descriptor {"+" [Module]}]]]]]
[world
[file {"+" [Path]}]]]])
(type: .public Source
Path)
(type: .public Host_Dependency
Path)
(type: .public Library
Path)
(type: .public Target
Path)
(type: .public Compilation
[(List Source) (List Host_Dependency) (List Library) Target Module])
(type: .public Export
[(List Source) Target])
(type: .public Service
(Variant
(#Compilation Compilation)
(#Interpretation Compilation)
(#Export Export)))
(template [<name> <long> <type>]
[(def: <name>
(Parser <type>)
(cli.named <long> cli.any))]
[source_parser "--source" Source]
[host_dependency_parser "--host_dependency" Host_Dependency]
[library_parser "--library" Library]
[target_parser "--target" Target]
[module_parser "--module" Module]
)
(def: .public service
(Parser Service)
($_ <>.or
(<>.after (cli.this "build")
($_ <>.and
(<>.some ..source_parser)
(<>.some ..host_dependency_parser)
(<>.some ..library_parser)
..target_parser
..module_parser))
(<>.after (cli.this "repl")
($_ <>.and
(<>.some ..source_parser)
(<>.some ..host_dependency_parser)
(<>.some ..library_parser)
..target_parser
..module_parser))
(<>.after (cli.this "export")
($_ <>.and
(<>.some ..source_parser)
..target_parser))
))
(def: .public target
(-> Service Target)
(|>> (case> (^or (#Compilation [sources host_dependencies libraries target module])
(#Interpretation [sources host_dependencies libraries target module])
(#Export [sources target]))
target)))
|
