From be3e93a0688d1fee7fcb6ee464642451b0e43fe0 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 20 Feb 2019 00:00:57 -0400
Subject: Moved function machinery over.

---
 stdlib/source/test/lux.lux | 400 ++++++++++++++++++++++-----------------------
 1 file changed, 199 insertions(+), 201 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 89136bb50..4ed7ce96e 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -1,204 +1,202 @@
-(.module:
-  [lux #*
-   [cli (#+ program:)]
-   ["." io (#+ io)]
-   [control
-    [monad (#+ do)]
-    [predicate (#+ Predicate)]]
-   [data
-    [number
-     ["." i64]]]
-   ["." function]
-   ["." math
-    ["r" random (#+ Random) ("#/." functor)]]
-   ["_" test (#+ Test)]
-   ## These modules do not need to be tested.
-   [type
-    [variance (#+)]]
-   [locale (#+)
-    [language (#+)]
-    [territory (#+)]]
-   ## TODO: Test these modules
-   [data
-    [format
-     [css (#+)]
-     [markdown (#+)]]]
-   [host
-    [js (#+)]
-    [scheme (#+)]]
-   [tool
-    [compiler
-     [phase
-      ## [translation
-      ##  [scheme
-      ##   [runtime (#+)]
-      ##   [primitive (#+)]
-      ##   [structure (#+)]
-      ##   [reference (#+)]
-      ##   [case (#+)]]
-      ##  [js
-      ##   [runtime (#+)]
-      ##   [primitive (#+)]
-      ##   [structure (#+)]
-      ##   [reference (#+)]
-      ##   [case (#+)]]]
-      ]]]
-   ## [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
-   ##  ["._" cli]
-   ##  ["._" default
-   ##   ["._" evaluation]
-   ##   [phase
-   ##    ["._" translation
-   ##     [scheme
-   ##      ["._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.
-  [/
-   ["/." cli]
-   ["/." io]
-   ["/." host
-    ["/." jvm]]
-   ["/." control]]
-  ## [control
-  ##  [concurrency
-  ##   [promise (#+)]
-  ##   [stm (#+)]
-  ##   ## [semaphore (#+)]
-  ##   ]]
-  ## [data
-  ##  [bit (#+)]
-  ##  [color (#+)]
-  ##  [error (#+)]
-  ##  [name (#+)]
-  ##  [identity (#+)]
-  ##  [lazy (#+)]
-  ##  [maybe (#+)]
-  ##  [product (#+)]
-  ##  [sum (#+)]
-  ##  [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 (#+)]
-  ##  [dynamic (#+)]]
-  ## [time
-  ##  [instant (#+)]
-  ##  [duration (#+)]
-  ##  [date (#+)]]
-  ## [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 (#+)]]]
-  )
+(.with-expansions [<host-modules> (.as-is [runtime (#+)]
+                                          [primitive (#+)]
+                                          [structure (#+)]
+                                          [reference (#+)]
+                                          [case (#+)]
+                                          [loop (#+)]
+                                          [function (#+)])]
+  (.module:
+    [lux #*
+     [cli (#+ program:)]
+     ["." io (#+ io)]
+     [control
+      [monad (#+ do)]
+      [predicate (#+ Predicate)]]
+     [data
+      [number
+       ["." i64]]]
+     ["." function]
+     ["." math
+      ["r" random (#+ Random) ("#/." functor)]]
+     ["_" test (#+ Test)]
+     ## These modules do not need to be tested.
+     [type
+      [variance (#+)]]
+     [locale (#+)
+      [language (#+)]
+      [territory (#+)]]
+     ## TODO: Test these modules
+     [data
+      [format
+       [css (#+)]
+       [markdown (#+)]]]
+     [host
+      [js (#+)]
+      [scheme (#+)]]
+     [tool
+      [compiler
+       [phase
+        [translation
+         [scheme
+          <host-modules>]
+         [js
+          <host-modules>]]]]]
+     ## [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
+     ##  ["._" cli]
+     ##  ["._" default
+     ##   ["._" evaluation]
+     ##   [phase
+     ##    ["._" translation
+     ##     [scheme
+     ##      ["._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.
+    [/
+     ["/." cli]
+     ["/." io]
+     ["/." host
+      ["/." jvm]]
+     ["/." control]]
+    ## [control
+    ##  [concurrency
+    ##   [promise (#+)]
+    ##   [stm (#+)]
+    ##   ## [semaphore (#+)]
+    ##   ]]
+    ## [data
+    ##  [bit (#+)]
+    ##  [color (#+)]
+    ##  [error (#+)]
+    ##  [name (#+)]
+    ##  [identity (#+)]
+    ##  [lazy (#+)]
+    ##  [maybe (#+)]
+    ##  [product (#+)]
+    ##  [sum (#+)]
+    ##  [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 (#+)]
+    ##  [dynamic (#+)]]
+    ## [time
+    ##  [instant (#+)]
+    ##  [duration (#+)]
+    ##  [date (#+)]]
+    ## [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 (#+)]]]
+    ))
 
 (def: identity
   Test
-- 
cgit v1.2.3