Better names for random text/character generators.

17 files changed, 92 insertions, 92 deletions

diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
index 27302b091..e4f33919f 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
@@ -86,7 +86,7 @@
                               random
                               )
             random|extension (all random.and
-                                  (random.ascii/lower 1)
+                                  (random.lower_case 1)
                                   (random.list multiplicity random)
                                   )])
       (all random.or
@@ -107,7 +107,7 @@
      int random.int
      rev random.rev
      frac random.frac
-     text (random.ascii/lower 1)]
+     text (random.lower_case 1)]
     (`` (all _.and
              (_.cover [/.unit]
                       (case (/.unit)
@@ -246,10 +246,10 @@
     Test
     (do random.monad
       [version/0 random.nat
-       host/0 (random.ascii/lower 5)
+       host/0 (random.lower_case 5)
        version/1 random.nat
-       host/1 (random.ascii/lower 5)
-       expected_error (random.ascii/lower 10)
+       host/1 (random.lower_case 5)
+       expected_error (random.lower_case 10)
        location/0 /location.random
        location/1 /location.random
        configuration ($configuration.random 5)
@@ -329,15 +329,15 @@
   Test
   (do random.monad
     [version random.nat
-     host (random.ascii/lower 5)
+     host (random.lower_case 5)
 
-     expected_module (random.ascii/lower 10)
-     dummy_module (random.ascii/lower 11)
+     expected_module (random.lower_case 10)
+     dummy_module (random.lower_case 11)
 
      location /location.random
      
-     expected_file (random.ascii/lower 12)
-     expected_code (random.ascii/lower 13)
+     expected_file (random.lower_case 12)
+     expected_code (random.lower_case 13)
 
      configuration ($configuration.random 5)
      .let [state (has .#location location
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
index 2ce0c57ad..cb50147c5 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux
@@ -58,14 +58,14 @@
   (Random Lux)
   (do random.monad
     [version random.nat
-     host (random.ascii/lower 1)
+     host (random.lower_case 1)
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
 (def: primitive
   (Random Type)
   (do random.monad
-    [name (random.ascii/lower 1)]
+    [name (random.lower_case 1)]
     (in {.#Primitive name (list)})))
 
 (def: analysis
@@ -92,7 +92,7 @@
                  [.Int random.int code.int]
                  [.Rev random.rev code.rev]
                  [.Frac random.frac code.frac]
-                 [.Text (random.ascii/lower 1) code.text]
+                 [.Text (random.lower_case 1) code.text]
                  ))
            )))
 
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
index 13699b82f..23ba015dd 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -38,7 +38,7 @@
   (Random Lux)
   (do random.monad
     [version random.nat
-     host (random.ascii/lower 1)
+     host (random.lower_case 1)
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
@@ -55,7 +55,7 @@
                          random.nat)
          choice (# ! each (n.% multiplicity)
                    random.nat)
-         expected_error (random.ascii/upper 5)
+         expected_error (random.upper_case 5)
 
          name ($symbol.random 2 2)
          mono $code.random
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
index ca3c27702..418f5824b 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux
@@ -34,14 +34,14 @@
   (Random Lux)
   (do random.monad
     [version random.nat
-     host (random.ascii/lower 1)
+     host (random.lower_case 1)
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
 (def: primitive
   (Random Type)
   (do random.monad
-    [name (random.ascii/lower 1)]
+    [name (random.lower_case 1)]
     (in {.#Primitive name (list)})))
 
 (def: (new? hash it)
@@ -63,10 +63,10 @@
     [lux ..random_state
      .let [state [/extension.#bundle /extension.empty
                   /extension.#state lux]]
-     name (random.ascii/lower 1)
+     name (random.lower_case 1)
      hash random.nat
-     expected_import (random.ascii/lower 2)
-     expected_alias (random.ascii/lower 3)]
+     expected_import (random.lower_case 2)
+     expected_alias (random.lower_case 3)]
     (all _.and
          (_.cover [/.empty]
                   (..new? hash (/.empty hash)))
@@ -137,7 +137,7 @@
     [lux ..random_state
      .let [state [/extension.#bundle /extension.empty
                   /extension.#state lux]]
-     name (random.ascii/lower 1)
+     name (random.lower_case 1)
      hash random.nat]
     (`` (all _.and
              (~~ (template [<set> <query> <not/0> <not/1>]
@@ -202,16 +202,16 @@
     [lux ..random_state
      .let [state [/extension.#bundle /extension.empty
                   /extension.#state lux]]
-     module_name (random.ascii/lower 1)
+     module_name (random.lower_case 1)
      hash random.nat
-     def_name (random.ascii/lower 2)
-     alias_name (random.ascii/lower 3)
+     def_name (random.lower_case 2)
+     alias_name (random.lower_case 3)
 
      public? random.bit
      def_type ..primitive
      arity (# ! each (|>> (n.% 10) ++) random.nat)
-     labels|head (random.ascii/lower 1)
-     labels|tail (|> (random.ascii/lower 1)
+     labels|head (random.lower_case 1)
+     labels|tail (|> (random.lower_case 1)
                      (random.only (|>> (text#= labels|head) not))
                      (random.set text.hash (-- arity))
                      (# ! each set.list))
@@ -274,16 +274,16 @@
     [lux ..random_state
      .let [state [/extension.#bundle /extension.empty
                   /extension.#state lux]]
-     module_name (random.ascii/lower 1)
+     module_name (random.lower_case 1)
      hash random.nat
-     def_name (random.ascii/lower 2)
-     foreign_module (random.ascii/lower 3)
+     def_name (random.lower_case 2)
+     foreign_module (random.lower_case 3)
 
      public? random.bit
      def_type ..primitive
      arity (# ! each (|>> (n.% 10) ++) random.nat)
-     labels|head (random.ascii/lower 1)
-     labels|tail (|> (random.ascii/lower 1)
+     labels|head (random.lower_case 1)
+     labels|tail (|> (random.lower_case 1)
                      (random.only (|>> (text#= labels|head) not))
                      (random.set text.hash (-- arity))
                      (# ! each set.list))]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
index 9151db036..01eb25f11 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
@@ -40,7 +40,7 @@
          expected_int random.int
          expected_rev random.rev
          expected_frac random.frac
-         expected_text (random.ascii/lower 2)
+         expected_text (random.lower_case 2)
 
          expected_lefts random.nat
          expected_right? random.bit
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
index 1d3895914..f6bedb278 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux
@@ -54,8 +54,8 @@
         [lux $//type.random_state
          .let [state [//extension.#bundle //extension.empty
                       //extension.#state lux]]
-         name/0 (random.ascii/lower 1)
-         name/1 (random.ascii/lower 2)
+         name/0 (random.lower_case 1)
+         name/1 (random.lower_case 2)
          type/0 ($type.random 0)
          type/1 ($type.random 0)]
         (all _.and
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux
index 3542d79c7..12448028f 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux
@@ -25,7 +25,7 @@
        random.int
        random.rev
        (random.only (|>> f.not_a_number? not) random.frac)
-       (random.ascii/lower 5)
+       (random.lower_case 5)
        ))
 
 (def: .public test
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
index 750bade83..ed8f42dde 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux
@@ -30,14 +30,14 @@
   (Random Lux)
   (do random.monad
     [version random.nat
-     host (random.ascii/lower 1)
+     host (random.lower_case 1)
      configuration ($configuration.random 5)]
     (in (//.state (//.info version host configuration)))))
 
 (def: primitive
   (Random Type)
   (do random.monad
-    [name (random.ascii/lower 1)]
+    [name (random.lower_case 1)]
     (in {.#Primitive name (list)})))
 
 (def: .public test
@@ -50,7 +50,7 @@
          expected ..primitive
          dummy (random.only (|>> (type#= expected) not)
                             ..primitive)
-         module (random.ascii/lower 1)]
+         module (random.lower_case 1)]
         (all _.and
              (_.cover [/.expecting /.inference]
                       (and (|> (/.inference expected)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
index e4e903891..9e97fd917 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -904,23 +904,23 @@
          int/0 random.int
          rev/0 random.rev
          frac/0 random.frac
-         text/0 (random.ascii/lower 1)
-
-         @any (random.ascii/lower 2)
-         @bit (random.ascii/lower 3)
-         @nat (random.ascii/lower 4)
-         @int (random.ascii/lower 5)
-         @rev (random.ascii/lower 6)
-         @frac (random.ascii/lower 7)
-         @text (random.ascii/lower 8)
-
-         @left (random.ascii/lower 9)
-         @right (random.ascii/lower 10)
-
-         $abstraction/0 (# ! each code.local (random.ascii/lower 11))
-         $parameter/0 (# ! each code.local (random.ascii/lower 12))
-         $abstraction/1 (# ! each code.local (random.ascii/lower 13))
-         $parameter/1 (# ! each code.local (random.ascii/lower 14))])
+         text/0 (random.lower_case 1)
+
+         @any (random.lower_case 2)
+         @bit (random.lower_case 3)
+         @nat (random.lower_case 4)
+         @int (random.lower_case 5)
+         @rev (random.lower_case 6)
+         @frac (random.lower_case 7)
+         @text (random.lower_case 8)
+
+         @left (random.lower_case 9)
+         @right (random.lower_case 10)
+
+         $abstraction/0 (# ! each code.local (random.lower_case 11))
+         $parameter/0 (# ! each code.local (random.lower_case 12))
+         $abstraction/1 (# ! each code.local (random.lower_case 13))
+         $parameter/1 (# ! each code.local (random.lower_case 14))])
       (all _.and
            (_.cover [/.phase]
                     (and (..can_analyse_unit! lux module/0)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 42c064bbc..4eb36a953 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -58,14 +58,14 @@
     [lux $//type.random_state
      .let [state [//extension.#bundle (//extension/analysis.bundle ..eval)
                   //extension.#state lux]]
-     module/0 (random.ascii/lower 1)
-     name/0 (# ! each (|>> [module/0]) (random.ascii/lower 2))
+     module/0 (random.lower_case 1)
+     name/0 (# ! each (|>> [module/0]) (random.lower_case 2))
      [input/0 simple/0] $//inference.simple_parameter
      [input/1 simple/1] $//inference.simple_parameter
      [input/2 simple/2] $//inference.simple_parameter
-     $binding/0 (# ! each code.local (random.ascii/lower 3))
-     $binding/1 (# ! each code.local (random.ascii/lower 4))
-     $binding/2 (# ! each code.local (random.ascii/lower 5))]
+     $binding/0 (# ! each code.local (random.lower_case 3))
+     $binding/1 (# ! each code.local (random.lower_case 4))
+     $binding/2 (# ! each code.local (random.lower_case 5))]
     (all _.and
          (_.cover [/.tuple]
                   (let [tuple? (is (-> Type Type Bit)
@@ -500,18 +500,18 @@
         [lux $//type.random_state
          .let [state [//extension.#bundle (//extension/analysis.bundle ..eval)
                       //extension.#state lux]]
-         module/0 (random.ascii/lower 1)
-         name/0 (random.ascii/lower 2)
+         module/0 (random.lower_case 1)
+         name/0 (random.lower_case 2)
          [input/0 simple/0] $//inference.simple_parameter
          [input/1 simple/1] $//inference.simple_parameter
          [input/2 simple/2] $//inference.simple_parameter
          [output/0 body/0] $//inference.simple_parameter
          [output/1 body/1] (random.only (|>> product.left (same? output/0) not)
                                         $//inference.simple_parameter)
-         $binding/0 (# ! each code.local (random.ascii/lower 3))
-         $binding/1 (# ! each code.local (random.ascii/lower 4))
-         $binding/2 (# ! each code.local (random.ascii/lower 5))
-         extension/0 (# ! each code.text (random.ascii/lower 6))
+         $binding/0 (# ! each code.local (random.lower_case 3))
+         $binding/1 (# ! each code.local (random.lower_case 4))
+         $binding/2 (# ! each code.local (random.lower_case 5))
+         extension/0 (# ! each code.text (random.lower_case 6))
          bit/0 random.bit
          nat/0 random.nat]
         (all _.and
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
index 44fdae7eb..4bdb21d48 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux
@@ -64,14 +64,14 @@
   (Random Lux)
   (do random.monad
     [version random.nat
-     host (random.ascii/lower 1)
+     host (random.lower_case 1)
      configuration ($configuration.random 5)]
     (in (//analysis.state (//analysis.info version host configuration)))))
 
 (def: primitive
   (Random Type)
   (do random.monad
-    [name (random.ascii/lower 1)]
+    [name (random.lower_case 1)]
     (in {.#Primitive name (list)})))
 
 (def: analysis
@@ -98,7 +98,7 @@
                  [.Int random.int code.int]
                  [.Rev random.rev code.rev]
                  [.Frac (random.only (|>> f.not_a_number? not) random.frac) code.frac]
-                 [.Text (random.ascii/lower 1) code.text]
+                 [.Text (random.lower_case 1) code.text]
                  ))
            )))
 
@@ -221,7 +221,7 @@
      types/*,terms/* (random.list arity ..simple_parameter)
      tag (# ! each (n.% arity) random.nat)
      .let [[lefts right?] (//complex.choice arity tag)]
-     tags (|> (random.ascii/lower 1)
+     tags (|> (random.lower_case 1)
               (random.set text.hash arity)
               (# ! each set.list))
      .let [module (product.left name)
@@ -437,11 +437,11 @@
      arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat)
      slice (# ! each (|>> (n.% (-- arity)) ++) random.nat)
      [type/0 term/0] ..simple_parameter
-     slot/0 (random.ascii/lower 1)
+     slot/0 (random.lower_case 1)
      types/*,terms/* (random.list arity ..simple_parameter)
-     slots/0 (|> (random.ascii/lower 1)
+     slots/0 (|> (random.lower_case 1)
                  (random.set text.hash arity))
-     slots/1 (|> (random.ascii/lower 1)
+     slots/1 (|> (random.lower_case 1)
                  (random.only (|>> (set.member? slots/0) not))
                  (random.set text.hash arity))
      .let [slots/0 (set.list slots/0)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 1e52a34bf..f14599150 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -67,11 +67,11 @@
                   //extension.#state lux]]
      input/0 ($type.random 0)
      input/1 ($type.random 0)
-     function/0 (random.ascii/lower 1)
-     function/1 (random.ascii/lower 2)
-     argument/0 (random.ascii/lower 3)
-     argument/1 (random.ascii/lower 4)
-     module/0 (random.ascii/lower 5)
+     function/0 (random.lower_case 1)
+     function/1 (random.lower_case 2)
+     argument/0 (random.lower_case 3)
+     argument/1 (random.lower_case 4)
+     module/0 (random.lower_case 5)
      [output/0 term/0] $//inference.simple_parameter
      [output/1 term/1] (random.only (|>> product.left (same? output/0) not)
                                     $//inference.simple_parameter)
@@ -203,7 +203,7 @@
      [input/1 term/1] (random.only (|>> product.left (same? input/0) not)
                                    $//inference.simple_parameter)
      output/0 ($type.random 0)
-     module/0 (random.ascii/lower 1)]
+     module/0 (random.lower_case 1)]
     (all _.and
          (_.cover [/.apply]
                   (let [reification? (is (-> Type (List Code) Type Bit)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index f67b2431d..66df51d4e 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -36,11 +36,11 @@
         [lux $//type.random_state
          .let [state [//extension.#bundle //extension.empty
                       //extension.#state lux]]
-         expected_name (random.ascii/lower 1)
+         expected_name (random.lower_case 1)
          expected_type ($type.random 0)
-         expected_module (random.ascii/lower 2)
-         import (random.ascii/lower 3)
-         expected_label (random.ascii/lower 4)
+         expected_module (random.lower_case 2)
+         import (random.lower_case 3)
+         expected_label (random.lower_case 4)
          record? random.bit]
         (all _.and
              (_.cover [/.reference]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux
index 4680a6e00..c096da534 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux
@@ -80,8 +80,8 @@
   (<| (_.covering /._)
       (do [! random.monad]
         [version random.nat
-         host (random.ascii/lower 1)
-         module (random.ascii/lower 2)
+         host (random.lower_case 1)
+         module (random.lower_case 2)
          configuration ($configuration.random 5)
          .let [state (/analysis.state (/analysis.info version host configuration))]]
         (`` (all _.and
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
index c76f452ed..59bafc3d7 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux
@@ -33,7 +33,7 @@
 (def: .public random
   (Random (/.Extension Nat))
   (all random.and
-       (random.ascii/lower 5)
+       (random.lower_case 5)
        (random.list 2 random.nat)
        ))
 
@@ -112,7 +112,7 @@
   Test
   (do [! random.monad]
     [state random.int
-     extension (random.ascii/lower 1)
+     extension (random.lower_case 1)
      left random.nat
      right random.nat]
     (all _.and
@@ -150,7 +150,7 @@
     (do [! random.monad]
       [state random.int
 
-       extension (random.ascii/lower 1)
+       extension (random.lower_case 1)
        left random.nat
        right random.nat]
       (all _.and
@@ -234,7 +234,7 @@
          dummy (random.only (|>> (i.= state) not)
                             random.int)
          expected random.nat
-         expected_error (random.ascii/lower 1)]
+         expected_error (random.lower_case 1)]
         (all _.and
              (_.for [/.equivalence]
                     ($equivalence.spec (/.equivalence n.equivalence) ..random))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
index 132d27fb6..e8dad37cf 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux
@@ -28,7 +28,7 @@
   (Random Text)
   (do [! r.monad]
     [size (|> r.nat (# ! each (|>> (n.% 20) (n.max 1))))]
-    (r.ascii/lower_alpha size)))
+    (r.lower_case_alpha size)))
 
 (def: symbol^
   (Random Symbol)
@@ -47,7 +47,7 @@
                      (all r.either
                           (do r.monad
                             [size (|> r.nat (r#each (n.% 20)))]
-                            (|> (r.ascii/upper_alpha size) (r#each code.text)))
+                            (|> (r.upper_case_alpha size) (r#each code.text)))
                           (|> symbol^ (r#each code.symbol))
                           (|> symbol^ (r#each code.tag))))
         simple^ (is (Random Code)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux
index 32e833ca7..98beda337 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux
@@ -23,7 +23,7 @@
        random.bit
        random.i64
        random.frac
-       (random.ascii/lower 1)
+       (random.lower_case 1)
        ))
 
 (def: .public test