aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/test/test/lux/control/security/integrity.lux (renamed from stdlib/test/test/lux/control/security/taint.lux)2
-rw-r--r--stdlib/test/test/lux/world/file.lux8
-rw-r--r--stdlib/test/test/lux/world/net/udp.lux6
-rw-r--r--stdlib/test/tests.lux344
4 files changed, 184 insertions, 176 deletions
diff --git a/stdlib/test/test/lux/control/security/taint.lux b/stdlib/test/test/lux/control/security/integrity.lux
index 81b17d407..8b1da6780 100644
--- a/stdlib/test/test/lux/control/security/taint.lux
+++ b/stdlib/test/test/lux/control/security/integrity.lux
@@ -4,7 +4,7 @@
[hash (#+ Hash)]
[monad (#+ do)]
[security
- ["@" taint]]]
+ ["@" integrity]]]
[data
["." error]
["." text ("text/." Equivalence<Text>)
diff --git a/stdlib/test/test/lux/world/file.lux b/stdlib/test/test/lux/world/file.lux
index d87ea7fc5..ab1406475 100644
--- a/stdlib/test/test/lux/world/file.lux
+++ b/stdlib/test/test/lux/world/file.lux
@@ -4,7 +4,7 @@
[control
[monad (#+ do)]
[security
- ["." taint (#+ Dirty)]]]
+ ["." integrity (#+ Dirty)]]]
[concurrency
["." promise]]
[data
@@ -58,7 +58,7 @@
_ (:: file over-write data)
content (:: file content [])
_ (:: file delete [])]
- (wrap (:: binary.Equivalence<Binary> = data (taint.trust content)))))]
+ (wrap (:: binary.Equivalence<Binary> = data (integrity.trust content)))))]
(assert "Can write/read files."
(error.default #0 result)))))
@@ -99,11 +99,11 @@
(:: binary.Equivalence<Binary> =
dataL
(error.assume (binary.slice 0 (dec file-size)
- (taint.trust content))))
+ (integrity.trust content))))
(:: binary.Equivalence<Binary> =
dataR
(error.assume (binary.slice file-size (dec read-size)
- (taint.trust content))))))))]
+ (integrity.trust content))))))))]
(assert "Can append to files."
(error.default #0 result))))
(wrap (do promise.Monad<Promise>
diff --git a/stdlib/test/test/lux/world/net/udp.lux b/stdlib/test/test/lux/world/net/udp.lux
index e41082d35..9e0079211 100644
--- a/stdlib/test/test/lux/world/net/udp.lux
+++ b/stdlib/test/test/lux/world/net/udp.lux
@@ -3,7 +3,7 @@
[control
[monad (#+ do)]
[security
- ["." taint]]]
+ ["." integrity]]]
[concurrency
["." promise]]
[data
@@ -45,12 +45,12 @@
_ (:: client write [[localhost port] from])
[bytes-from [from-address from-port] temp] (:: server read size)
#let [from-worked? (and (n/= size bytes-from)
- (:: binary.Equivalence<Binary> = from (taint.trust temp)))]
+ (:: binary.Equivalence<Binary> = from (integrity.trust temp)))]
####################
_ (:: server write [[from-address from-port] to])
[bytes-to [to-address to-port] temp] (:: client read size)
#let [to-worked? (and (n/= size bytes-to)
- (:: binary.Equivalence<Binary> = to (taint.trust temp))
+ (:: binary.Equivalence<Binary> = to (integrity.trust temp))
(n/= port to-port))]
####################
_ (:: client close [])
diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index 572a69e02..6d99d905a 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -3,177 +3,185 @@
[cli (#+ program:)]
["." test]
## TODO: Test these modules
- [control
- ["._" contract]
- ["._" concatenative]
- ["._" predicate]
- [monad
- ["._" free]]]
- [data
- ["._" env]
- ["._" trace]
- ["._" store]
- ["._" tainted]
- [format
- ["._" context]
- ["._" html]
- ["._" css]
- ["._" binary]]
- [collection
- [tree
- [rose
- ["._" parser]]]
- [dictionary
- ["._" plist]]
- [set
- ["._" multi]]]
- [text
- ["._" buffer]]]
- ["._" macro
- [poly
- ["._" json]]]
- [type
- ["._" unit]
- ["._" refinement]
- ["._" quotient]]
- [world
- ["._" environment]
- ["._" console]]
- [compiler
- [host
- [".H" scheme]]
- ["._" cli]
- ["._" default
- ["._" evaluation]
- [phase
- ["._" translation
- [scheme
- ["._scheme" primitive]
- ["._scheme" structure]
- ["._scheme" reference]
- ["._scheme" function]
- ["._scheme" loop]
- ["._scheme" case]
- ["._scheme" extension]
- ["._scheme" extension/common]
- ["._scheme" expression]]]
- [extension
- ["._" statement]]]
- ["._default" cache]]
- [meta
- ["._meta" io
- ["._meta_io" context]
- ["._meta_io" archive]]
- ["._meta" archive]
- ["._meta" cache]]]
- ["._" interpreter
- ["._interpreter" type]]]
+ ## [control
+ ## ["._" contract]
+ ## ["._" concatenative]
+ ## ["._" predicate]
+ ## [monad
+ ## ["._" free]]]
+ ## [data
+ ## ["._" env]
+ ## ["._" trace]
+ ## ["._" store]
+ ## [format
+ ## ["._" context]
+ ## ["._" html]
+ ## ["._" css]
+ ## ["._" binary]]
+ ## [collection
+ ## [tree
+ ## [rose
+ ## ["._" parser]]]
+ ## [dictionary
+ ## ["._" plist]]
+ ## [set
+ ## ["._" multi]]]
+ ## [text
+ ## ["._" buffer]]]
+ ## ["._" macro
+ ## [poly
+ ## ["._" json]]]
+ ## [type
+ ## ["._" unit]
+ ## ["._" refinement]
+ ## ["._" quotient]]
+ ## [world
+ ## ["._" environment]
+ ## ["._" console]]
+ ## [compiler
+ ## [host
+ ## [".H" scheme]]
+ ## ["._" cli]
+ ## ["._" default
+ ## ["._" evaluation]
+ ## [phase
+ ## ["._" translation
+ ## [scheme
+ ## ["._scheme" primitive]
+ ## ["._scheme" structure]
+ ## ["._scheme" reference]
+ ## ["._scheme" function]
+ ## ["._scheme" loop]
+ ## ["._scheme" case]
+ ## ["._scheme" extension]
+ ## ["._scheme" extension/common]
+ ## ["._scheme" expression]]]
+ ## [extension
+ ## ["._" statement]]]
+ ## ["._default" cache]]
+ ## [meta
+ ## ["._meta" io
+ ## ["._meta_io" context]
+ ## ["._meta_io" archive]]
+ ## ["._meta" archive]
+ ## ["._meta" cache]]]
+ ## ["._" interpreter
+ ## ["._interpreter" type]]
+ ]
## TODO: Must have 100% coverage on tests.
[test
- ["_." lux]
+ ## ["_." lux]
[lux
- ["_." cli]
- ["_." host]
- ["_." io]
- [time
- ["_." instant]
- ["_." duration]
- ["_." date]]
- [concurrency
- ["_." actor]
- ["_." atom]
- ["_." frp]
- ["_." promise]
- ["_." stm]
- ["_." semaphore]]
- [control
- ["_." exception]
- ["_." interval]
- ["_." pipe]
- ["_." continuation]
- ["_." reader]
- ["_." writer]
- ["_." state]
- ["_." parser]
- ["_." thread]
- ["_." region]]
- [data
- ["_." bit]
- ["_." color]
- ["_." error]
- ["_." name]
- ["_." identity]
- ["_." lazy]
- ["_." maybe]
- ["_." product]
- ["_." sum]
- [number
- ## "_." number ## TODO: FIX Specially troublesome...
- ["_." i64]
- ["_." ratio]
- ["_." complex]]
- ["_." text
- ["_." format]
- ["_." lexer]
- ["_." regex]]
- [format
- ["_." json]
- ["_." xml]]
- [collection
- ["_." array]
- ["_." bits]
- ["_." list]
- ["_." stack]
- ["_." row]
- ["_." sequence]
- ["_." dictionary
- ["dictionary_." ordered]]
- ["_." set
- ["set_." ordered]]
- ["_." queue
- ["_." priority]]
- [tree
- ["_." rose
- ["_." zipper]]]]]
- ["_." math
- ["_." random]
- ["_." modular]
- [logic
- ["_." continuous]
- ["_." fuzzy]]]
- [macro
- ["_." code]
- ["_." syntax]
- [poly
- ["poly_." equivalence]
- ["poly_." functor]]]
- ["_." type
- ["_." check]
- ## ["_." implicit] ## TODO: FIX Specially troublesome...
- ["_." resource]]
- [compiler
- [default
- ["_default/." syntax]
- [phase
- [analysis
- ["_.A" primitive]
- ["_.A" structure]
- ["_.A" reference]
- ["_.A" case]
- ["_.A" function]
- [procedure
- ["_.A" common]]]
- [synthesis
- ["_.S" primitive]
- ["_.S" structure]
- ["_.S" case]
- ["_.S" function]]]]]
- [world
- ["_." binary]
- ## ["_." file] ## TODO: FIX Specially troublesome...
- [net
- ["_." tcp]
- ["_." udp]]]]]
+ ## ["_." cli]
+ ## ["_." host]
+ [host
+ [jvm (#+)]]
+ ## ["_." io]
+ ## [time
+ ## ["_." instant]
+ ## ["_." duration]
+ ## ["_." date]]
+ ## [control
+ ## ## ["_." exception]
+ ## ## ["_." interval]
+ ## ## ["_." pipe]
+ ## ## ["_." continuation]
+ ## ## ["_." reader]
+ ## ## ["_." writer]
+ ## ## ["_." state]
+ ## ## ["_." parser]
+ ## ## ["_." thread]
+ ## ## ["_." region]
+ ## ## [security
+ ## ## ["_." privacy]
+ ## ## ["._" integrity]]
+ ## [concurrency
+ ## ["_." actor]
+ ## ["_." atom]
+ ## ["_." frp]
+ ## ["_." promise]
+ ## ["_." stm]
+ ## ## ["_." semaphore]
+ ## ]]
+ ## [data
+ ## ["_." bit]
+ ## ["_." color]
+ ## ["_." error]
+ ## ["_." name]
+ ## ["_." identity]
+ ## ["_." lazy]
+ ## ["_." maybe]
+ ## ["_." product]
+ ## ["_." sum]
+ ## [number
+ ## ## "_." number ## TODO: FIX Specially troublesome...
+ ## ["_." i64]
+ ## ["_." ratio]
+ ## ["_." complex]]
+ ## ["_." text
+ ## ## ["_." format]
+ ## ["_." lexer]
+ ## ["_." regex]]
+ ## [format
+ ## ## ["_." json]
+ ## ["_." xml]]
+ ## ## [collection
+ ## ## ["_." array]
+ ## ## ["_." bits]
+ ## ## ["_." list]
+ ## ## ["_." stack]
+ ## ## ["_." row]
+ ## ## ["_." sequence]
+ ## ## ["_." dictionary
+ ## ## ["dictionary_." ordered]]
+ ## ## ["_." set
+ ## ## ["set_." ordered]]
+ ## ## ["_." queue
+ ## ## ["_." priority]]
+ ## ## [tree
+ ## ## ["_." rose
+ ## ## ["_." zipper]]]]
+ ## ]
+ ## ["_." math
+ ## ["_." random]
+ ## ["_." modular]
+ ## [logic
+ ## ["_." continuous]
+ ## ["_." fuzzy]]]
+ ## [macro
+ ## ["_." code]
+ ## ["_." syntax]
+ ## [poly
+ ## ["poly_." equivalence]
+ ## ["poly_." functor]]]
+ ## ["_." type
+ ## ["_." check]
+ ## ## ["_." implicit] ## TODO: FIX Specially troublesome...
+ ## ["_." resource]]
+ ## [compiler
+ ## [default
+ ## ["_default/." syntax]
+ ## [phase
+ ## [analysis
+ ## ["_.A" primitive]
+ ## ["_.A" structure]
+ ## ["_.A" reference]
+ ## ["_.A" case]
+ ## ["_.A" function]
+ ## [procedure
+ ## ["_.A" common]]]
+ ## [synthesis
+ ## ["_.S" primitive]
+ ## ["_.S" structure]
+ ## ["_.S" case]
+ ## ["_.S" function]]]]]
+ ## [world
+ ## ["_." binary]
+ ## ["_." file]
+ ## [net
+ ## ["_." tcp]
+ ## ["_." udp]]]
+ ]]
)
(program: args