blob: 8605bc0fff447235f1b3c79dd96b411926865dac (
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
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
|
(.require
[library
[lux (.except with)
[abstract
[monad (.only do)]]
[control
["<>" parser]
["[0]" try]
["[0]" exception]]
[data
[text
["%" \\format]]
[collection
["[0]" list
["[0]" property]]]]
[math
["[0]" random (.only Random)]
[number
["n" nat]]]
["[0]" meta (.only)
["[0]" code (.only)
["<[1]>" \\parser]]
["[0]" macro (.only)
[syntax (.only syntax)]
["[0]" expansion]]]
[test
["_" property (.only Test)]]]]
[\\library
["[0]" /]])
(/.let [!pow/2 (template (_ <scalar>)
[(n.* <scalar> <scalar>)])]
(def pow/2
(-> Nat Nat)
(|>> !pow/2)))
(def macro_error
(syntax (_ [macro <code>.any])
(function (_ compiler)
(when ((expansion.complete macro) compiler)
{try.#Failure error}
{try.#Success [compiler (list (code.text error))]}
{try.#Success _}
{try.#Failure "OOPS!"}))))
(def (constant output)
(-> Code Macro)
(macro.macro
(function (_ inputs lux)
{try.#Success [lux (list output)]})))
(def with
(syntax (_ [name (<code>.tuple (<>.and <code>.text <code>.text))
constant <code>.any
pre_remove <code>.bit
body <code>.any])
(macro.with_symbols [g!output]
(do meta.monad
[pop! (/.push (list [name (..constant constant)]))
[module short] (meta.normal name)
_ (if pre_remove
(let [remove_macro! (is (-> .Module .Module)
(revised .#definitions (property.lacks short)))]
(function (_ lux)
{try.#Success [(revised .#modules (property.revised module remove_macro!) lux)
[]]}))
(in []))]
(let [pre_expansion (` (let [(, g!output) (, body)]
(exec
(, pop!)
(, g!output))))]
(if pre_remove
(expansion.total pre_expansion)
(in (list pre_expansion))))))))
(def .public test
Test
(<| (_.covering /._)
(do [! random.monad]
[expected random.nat]
(all _.and
(_.coverage [/.push]
(..with ["" "actual"] expected #0
(n.= expected (..actual))))
(_.coverage [/.unknown_module]
(exception.match? /.unknown_module
(..macro_error
(..with ["123yolo456" "actual"] expected #0
(n.= expected (..actual))))))
(_.coverage [/.cannot_shadow_definition]
(exception.match? /.cannot_shadow_definition
(..macro_error
(..with ["" "with"] expected #0
(n.= expected (..actual))))))
(_.coverage [/.unknown_definition]
(exception.match? /.unknown_definition
(<| ..macro_error
(..with ["" "actual"] expected #1)
(n.= expected (..actual)))))
(do !
[scalar random.nat]
(_.coverage [/.let]
(let [can_use_with_statements!
(n.= (all n.* scalar scalar)
(..pow/2 scalar))]
(and can_use_with_statements!
(/.let [pow/3 (template (_ <scalar>)
[(all n.* <scalar> <scalar> <scalar>)])
pow/9 (template (_ <scalar>)
[(pow/3 (pow/3 <scalar>))])]
(let [can_use_with_expressions!
(n.= (all n.* scalar scalar scalar)
(pow/3 scalar))
can_refer!
(n.= (all n.*
scalar scalar scalar
scalar scalar scalar
scalar scalar scalar)
(pow/9 scalar))
can_shadow!
(let [pow/3 (function (_ scalar)
(all n.+ scalar scalar scalar))]
(n.= (all n.+ scalar scalar scalar)
(pow/3 scalar)))]
(and can_use_with_expressions!
can_refer!
can_shadow!)))
))))
))))
|
