blob: ce3c7332abc795a7687d60e20ab7561ed266141c (
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
|
(.module:
[lux "*"
["_" test {"+" [Test]}]
[abstract
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
["[0]" try]]
[data
[number
["n" nat]
["f" frac]]]
[tool
[compiler
["[0]" reference]
["[0]" synthesis]]]
[math
["r" random {"+" [Random]}]]]
[///
[common {"+" [Runner Definer]}]])
(def: name
(Random Name)
(let [name_part (r.ascii/upper_alpha 5)]
[(r.and name_part name_part)]))
(def: (definition define)
(-> Definer Test)
(do r.monad
[name ..name
expected r.safe_frac]
(_.test "Definitions."
(|> (define name (synthesis.f64 expected))
(case> (#try.Success actual)
(f.= expected (:as Frac actual))
(#try.Failure _)
false)))))
(def: (variable run)
(-> Runner Test)
(do [! r.monad]
[register (|> r.nat (\ ! each (n.% 100)))
expected r.safe_frac]
(_.test "Local variables."
(|> (synthesis.branch/let [(synthesis.f64 expected)
register
(synthesis.variable/local register)])
(run "variable")
(case> (#try.Success actual)
(f.= expected (:as Frac actual))
(#try.Failure _)
false)))))
(def: .public (spec runner definer)
(-> Runner Definer Test)
($_ _.and
(..definition definer)
(..variable runner)))
|
