diff options
| author | Eduardo Julian | 2021-09-08 17:52:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-08 17:52:13 -0400 |
| commit | 9ae7272d50b64dc9c8651e7a684abc007d4f2caf (patch) | |
| tree | 3313492704935d230a88d17b621e84bd09a6451c /stdlib/source/test | |
| parent | 18e4294819f5d4adafad091bdc5a30c25959ad2f (diff) | |
Post annotations clean-up.
Diffstat (limited to 'stdlib/source/test')
| -rw-r--r-- | stdlib/source/test/lux/macro/syntax.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/macro/syntax/annotations.lux | 53 | ||||
| -rw-r--r-- | stdlib/source/test/lux/macro/syntax/definition.lux | 6 |
3 files changed, 2 insertions, 59 deletions
diff --git a/stdlib/source/test/lux/macro/syntax.lux b/stdlib/source/test/lux/macro/syntax.lux index 236a6106f..5ba0701b9 100644 --- a/stdlib/source/test/lux/macro/syntax.lux +++ b/stdlib/source/test/lux/macro/syntax.lux @@ -14,7 +14,6 @@ [\\library ["[0]" /]] ["[0]" / "_" - ["[1][0]" annotations] ["[1][0]" check] ["[1][0]" declaration] ["[1][0]" definition] @@ -40,7 +39,6 @@ (n.= ($_ n.+ x y z) (+/3 x y z)))) - /annotations.test /check.test /declaration.test /definition.test diff --git a/stdlib/source/test/lux/macro/syntax/annotations.lux b/stdlib/source/test/lux/macro/syntax/annotations.lux deleted file mode 100644 index 0fe02da13..000000000 --- a/stdlib/source/test/lux/macro/syntax/annotations.lux +++ /dev/null @@ -1,53 +0,0 @@ -(.module: - [library - [lux "*" - ["_" test {"+" [Test]}] - [abstract - [monad {"+" [do]}] - [\\specification - ["$[0]" equivalence]]] - [control - ["[0]" try] - [parser - ["<[0]>" code]]] - [data - [collection - ["[0]" list]]] - [math - ["[0]" random {"+" [Random]}] - [number - ["n" nat]]]]] - [\\library - ["[0]" /]] - ["$[0]" /// "_" - ["[1][0]" code]]) - -(def: .public random - (Random /.Annotations) - (let [word (random.ascii/alpha 10) - tag (random.and word word)] - (do [! random.monad] - [size (\ ! each (n.% 10) random.nat)] - (random.list size (random.and tag $///code.random))))) - -(def: .public test - Test - (<| (_.covering /._) - (_.for [/.Annotations]) - ($_ _.and - (_.for [/.equivalence] - ($equivalence.spec /.equivalence ..random)) - - (_.cover [/.empty] - (list.empty? /.empty)) - (do random.monad - [expected ..random] - (_.cover [/.format /.parser] - (case (|> (list (/.format expected)) - (<code>.result /.parser)) - (#try.Failure _) - false - - (#try.Success actual) - (\ /.equivalence = expected actual)))) - ))) diff --git a/stdlib/source/test/lux/macro/syntax/definition.lux b/stdlib/source/test/lux/macro/syntax/definition.lux index d3a480dc2..cb5867a2a 100644 --- a/stdlib/source/test/lux/macro/syntax/definition.lux +++ b/stdlib/source/test/lux/macro/syntax/definition.lux @@ -11,17 +11,16 @@ ["[0]" exception] ["<>" parser ["<[0]>" code]]] - [math - ["[0]" random {"+" [Random]}]] [macro ["[0]" code ("[1]\[0]" equivalence)]] + [math + ["[0]" random {"+" [Random]}]] [meta ["[0]" location]]]] [\\library ["[0]" /]] ["$[0]"// "_" ["[1][0]" check] - ["[1][0]" annotations] ["[1]/" // "_" ["[1][0]" code]]]) @@ -31,7 +30,6 @@ (random.ascii/alpha 5) (random.or $//check.random $///code.random) - $//annotations.random random.bit )) |