Re-named "lux/control/security/taint" to "lux/control/security/integrity".

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