blob: f0fdb80be501dfc96b811e8f2a324d3209bb62cd (
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
|
(.module:
[library
[lux (#- Module Source)
[control
[pipe (#+ case>)]
["<>" parser
["." cli (#+ Parser)]]]
[tool
[compiler
[meta
[archive
[descriptor (#+ Module)]]]]]
[world
[file (#+ Path)]]]])
(type: #export Source
Path)
(type: #export Host_Dependency
Path)
(type: #export Library
Path)
(type: #export Target
Path)
(type: #export Compilation
[(List Source) (List Host_Dependency) (List Library) Target Module])
(type: #export Export
[(List Source) Target])
(type: #export Service
(#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: #export 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: #export target
(-> Service Target)
(|>> (case> (^or (#Compilation [sources host_dependencies libraries target module])
(#Interpretation [sources host_dependencies libraries target module])
(#Export [sources target]))
target)))
|
