aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/aedifex.lux2
-rw-r--r--stdlib/source/test/aedifex/artifact.lux7
-rw-r--r--stdlib/source/test/aedifex/dependency/deployment.lux31
-rw-r--r--stdlib/source/test/aedifex/repository.lux64
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase.lux4
-rw-r--r--stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/type.lux45
-rw-r--r--stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux5
7 files changed, 124 insertions, 34 deletions
diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index 8b859955e..c9ce5c95e 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -59,5 +59,5 @@
(program args
(<| io.io
_.run!
- (_.times 100)
+ (_.times 100 _.announce_success)
..test)))
diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 7e0d2c1cb..373393f2e 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -35,7 +35,8 @@
(all random.and
(random.lower_cased size)
(random.lower_cased size)
- (random.lower_cased size))))
+ (random.lower_cased size)
+ )))
(def .public test
Test
@@ -43,7 +44,9 @@
(do random.monad
[sample ..random])
(_.for [/.Group /.Name /.Version
- /.Artifact]
+
+ /.Artifact
+ /.#group /.#name /.#version]
(all _.and
(_.for [/.equivalence]
(equivalenceT.spec /.equivalence ..random))
diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 3e7350050..9db5b07b5 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -26,11 +26,12 @@
["n" nat]]]
[world
[net (.only URL)
- ["[0]" uri (.only URI)]
- ["[0]" http
- ["[1]" client]
- ["[1]/[0]" status]
- ["@[1]" /]]]]
+ [uri (.only URI)
+ ["[0]" path]]
+ ["[0]" http (.only)
+ [response (.only Response)]
+ ["[0]" client (.only Client)]
+ ["[0]" status]]]]
[test
["[0]" unit]
["_" property (.only Test)]]]]
@@ -52,25 +53,25 @@
["[0]" remote]]]]]])
(def good_upload
- (@http.Response IO)
- [http/status.created
- [@http.#headers (http.headers (list))
- @http.#body (function (_ _)
- (|> [0 (binary.empty 0)]
- {try.#Success}
- io.io))]])
+ (Response IO)
+ [status.created
+ [http.#headers (client.headers (list))
+ http.#body (function (_ _)
+ (|> [0 (binary.empty 0)]
+ {try.#Success}
+ io.io))]])
(type Cache
(Atom (Dictionary URL Binary)))
(def (http cache)
- (-> Cache (http.Client IO))
+ (-> Cache (Client IO))
(implementation
(def (request method url headers input)
(do io.monad
[_ (is (IO Any)
(when [method input]
- [{@http.#Put} {.#Some input}]
+ [{http.#Put} {.#Some input}]
(atom.update! (dictionary.has url input) cache)
_
@@ -149,7 +150,7 @@
Test
(<| (_.covering /._)
(do [! random.monad]
- [address (of ! each (text.suffix uri.separator)
+ [address (of ! each (text.suffix path.separator)
(random.upper_cased 10))]
(all _.and
(do [! random.monad]
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index f61f1ec50..6b4f02130 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -7,11 +7,14 @@
["[0]" monad (.only do)]]
[control
["[0]" io]
- ["[0]" try]
- ["[0]" exception (.only Exception)]]
+ ["[0]" try (.only Try)]
+ ["[0]" exception (.only Exception)]
+ [concurrency
+ ["[0]" async (.only Async)]]]
[data
["[0]" product]
- ["[0]" binary (.only Binary)]
+ ["[0]" binary (.only Binary)
+ ["_[1]" \\test]]
["[0]" text (.only)
["%" \\format (.only format)]]
[collection
@@ -22,7 +25,8 @@
[net
["[0]" uri (.only URI)]]]
[test
- ["_" property (.only Test)]]]]
+ ["_" property (.only Test)]
+ ["[0]" unit]]]]
["[0]" /
["[1][0]" identity]
["[1][0]" origin]
@@ -30,8 +34,6 @@
["[1][0]" remote]
[//
["@[0]" artifact]]]
- [\\specification
- ["$[0]" /]]
[\\program
["[0]" / (.only)
["[0]" remote]
@@ -39,6 +41,40 @@
["[1][0]" artifact (.only Version Artifact)
["[1]/[0]" extension (.only Extension)]]]]])
+(def .public (spec valid_artifact invalid_artifact subject)
+ (-> Artifact Artifact (/.Repository Async)
+ Test)
+ (do random.monad
+ [expected (_binary.random 100)]
+ (in (all unit.and
+ (do async.monad
+ [.let [good_uri (remote.uri (the //artifact.#version valid_artifact) valid_artifact //artifact/extension.lux_library)]
+ good_upload! (of subject upload good_uri expected)
+ good_download! (of subject download good_uri)
+
+ .let [bad_uri (remote.uri (the //artifact.#version invalid_artifact) invalid_artifact //artifact/extension.lux_library)]
+ bad_upload! (of subject upload bad_uri expected)
+ bad_download! (of subject download bad_uri)]
+ (unit.coverage [/.Repository]
+ (let [successfull_flow!
+ (when [good_upload! good_download!]
+ [{try.#Success _} {try.#Success actual}]
+ (of binary.equivalence = expected actual)
+
+ _
+ false)
+
+ failed_flow!
+ (when [bad_upload! bad_download!]
+ [{try.#Failure _} {try.#Failure _}]
+ true
+
+ _
+ false)]
+ (and successfull_flow!
+ failed_flow!))))
+ ))))
+
(def artifact
(-> Version Artifact)
(|>> ["com.github.luxlang" "test-artifact"]))
@@ -94,14 +130,14 @@
(_.for [/.mock /.Mock]
(do random.monad
[_ (in [])]
- ($/.spec (..artifact ..valid_version)
- (..artifact ..invalid_version)
- (/.mock ..mock
- (|> ..empty
- (dictionary.has (remote.uri ..invalid_version
- (..artifact ..invalid_version)
- //artifact/extension.lux_library)
- (binary.empty 0)))))))
+ (..spec (..artifact ..valid_version)
+ (..artifact ..invalid_version)
+ (/.mock ..mock
+ (|> ..empty
+ (dictionary.has (remote.uri ..invalid_version
+ (..artifact ..invalid_version)
+ //artifact/extension.lux_library)
+ (binary.empty 0)))))))
/identity.test
/origin.test
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux
index ce1def236..922290058 100644
--- a/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase.lux
@@ -29,7 +29,8 @@
["[1][0]" translation
["[1]/[0]" jvm
["[1]/[0]" host]
- ["[1]/[0]" primitive]]]])
+ ["[1]/[0]" primitive]
+ ["[1]/[0]" type]]]])
(def (injection value)
(All (_ of)
@@ -215,4 +216,5 @@
/translation/jvm/host.test
/translation/jvm/primitive.test
+ /translation/jvm/type.test
)))
diff --git a/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/type.lux b/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/type.lux
new file mode 100644
index 000000000..e99233eca
--- /dev/null
+++ b/stdlib/source/test/lux/meta/compiler/language/lux/phase/translation/jvm/type.lux
@@ -0,0 +1,45 @@
+(.require
+ [library
+ [lux (.except Type)
+ [abstract
+ [monad (.only do)]]
+ [math
+ ["[0]" random (.only Random)]]
+ [meta
+ [target
+ [jvm
+ ["[0]" type (.only Type) (.use "[1]#[0]" equivalence)
+ [category (.only Primitive Array Class)]]]]]
+ [test
+ ["_" property (.only Test)]]]]
+ [\\library
+ ["[0]" /]])
+
+(def .public test
+ Test
+ (<| (_.covering /._)
+ (do [! random.monad]
+ [])
+ (all _.and
+ (_.coverage [/.frac /.text]
+ (not (type#= /.frac /.text)))
+ (_.coverage [/.value /.error]
+ (not (type#= /.value /.error)))
+ (_.coverage [/.lefts]
+ (exec
+ (is (Type Primitive)
+ /.lefts)
+ true))
+ (_.coverage [/.right?]
+ (exec
+ (is (Type Class)
+ /.right?)
+ true))
+ (_.coverage [/.variant /.tuple]
+ (type#= /.variant /.tuple))
+ (_.coverage [/.stack]
+ (exec
+ (is (Type Array)
+ /.stack)
+ true))
+ )))
diff --git a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux
index b233a404b..7d5bba9e1 100644
--- a/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/test/lux/meta/compiler/meta/archive/artifact.lux
@@ -24,7 +24,10 @@
(def .public test
Test
(<| (_.covering /._)
- (_.for [/.Artifact /.ID])
+ (_.for [/.ID
+
+ /.Artifact
+ /.#id /.#category /.#mandatory?])
(all _.and
(_.for [/.equivalence]
(equivalenceT.spec /.equivalence ..random))