blob: 8cc7466ccd83c945e8cc537bdc377d5aeab0070b (
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
|
(.using
[library
[lux (.except)
[abstract
[monad (.only do)]]
[control
["[0]" exception (.only exception:)]]
[macro
["^" pattern]]
[target
["_" ruby]]]]
["[0]" /
[runtime (.only Phase Phase!)]
["[1][0]" primitive]
["[1][0]" structure]
["[1][0]" reference]
["[1][0]" function]
["[1][0]" case]
["[1][0]" loop]
["/[1]" //
["[1][0]" reference]
["/[1]" //
["[1][0]" extension (.only)
[generation
[ruby
["[1]/[0]" common]]]]
["/[1]" //
[analysis (.only)]
["[1][0]" synthesis]
["//[1]" ///
["[1][0]" phase (.open: "[1]#[0]" monad)]
[reference (.only)
[variable (.only)]]]]]]])
(exception: .public cannot_recur_as_an_expression)
(def (expression archive synthesis)
Phase
(case synthesis
(^.with_template [<tag> <generator>]
[(pattern (<tag> value))
(//////phase#in (<generator> value))])
([////synthesis.bit /primitive.bit]
[////synthesis.i64 /primitive.i64]
[////synthesis.f64 /primitive.f64]
[////synthesis.text /primitive.text])
(^.with_template [<tag> <generator>]
[(pattern (<tag> value))
(<generator> expression archive value)])
([////synthesis.variant /structure.variant]
[////synthesis.tuple /structure.tuple]
[////synthesis.branch/exec /case.exec]
[////synthesis.branch/let /case.let]
[////synthesis.branch/if /case.if]
[////synthesis.branch/get /case.get]
[////synthesis.function/apply /function.apply])
(^.with_template [<tag> <generator>]
[(pattern (<tag> value))
(<generator> ///extension/common.statement expression archive value)])
([////synthesis.branch/case /case.case]
[////synthesis.loop/scope /loop.scope]
[////synthesis.function/abstraction /function.function])
(pattern (////synthesis.loop/again _))
(//////phase.except ..cannot_recur_as_an_expression [])
{////synthesis.#Reference value}
(//reference.reference /reference.system archive value)
{////synthesis.#Extension extension}
(///extension.apply archive expression extension)))
(def .public generate
Phase
..expression)
|
