aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/world
diff options
context:
space:
mode:
authorEduardo Julian2021-09-07 22:50:21 -0400
committerEduardo Julian2021-09-07 22:50:21 -0400
commit35c0807799717cd720ab28b35851c1a01a67445d (patch)
treec6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/test/lux/world
parentb55cefcb258f11eeee32c1478faefd1bd09ec871 (diff)
De-taggification | part 4
Diffstat (limited to 'stdlib/source/test/lux/world')
-rw-r--r--stdlib/source/test/lux/world/console.lux14
-rw-r--r--stdlib/source/test/lux/world/file.lux12
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux20
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux14
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux26
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux10
-rw-r--r--stdlib/source/test/lux/world/output/video/resolution.lux14
-rw-r--r--stdlib/source/test/lux/world/program.lux20
-rw-r--r--stdlib/source/test/lux/world/shell.lux20
9 files changed, 75 insertions, 75 deletions
diff --git a/stdlib/source/test/lux/world/console.lux b/stdlib/source/test/lux/world/console.lux
index 37704c0e8..3f54d54a7 100644
--- a/stdlib/source/test/lux/world/console.lux
+++ b/stdlib/source/test/lux/world/console.lux
@@ -5,18 +5,18 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." io]
- ["." try {"+" [Try]}]
- ["." exception {"+" [exception:]}]]
+ ["[0]" io]
+ ["[0]" try {"+" [Try]}]
+ ["[0]" exception {"+" [exception:]}]]
[data
- ["." text ("#\." equivalence)
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]]
[math
- ["." random]]]]
+ ["[0]" random]]]]
[\\library
- ["." /]]
+ ["[0]" /]]
[\\specification
- ["$." /]])
+ ["$[0]" /]])
(exception: dead)
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index d2c4703d3..304116241 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -5,15 +5,15 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." io]]
+ ["[0]" io]]
[math
- ["." random]]]]
- ["." / "_"
- ["#." watch]]
+ ["[0]" random]]]]
+ ["[0]" / "_"
+ ["[1][0]" watch]]
[\\library
- ["." /]]
+ ["[0]" /]]
[\\specification
- ["$." /]])
+ ["$[0]" /]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index 52fa06325..aee4f4922 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -6,24 +6,24 @@
[predicate {"+" [Predicate]}]
[monad {"+" [do]}]]
[control
- ["." try {"+" [Try]}]
- ["." exception]
+ ["[0]" try {"+" [Try]}]
+ ["[0]" exception]
[concurrency
- ["." async {"+" [Async]}]]]
+ ["[0]" async {"+" [Async]}]]]
[data
- ["." binary {"+" [Binary]} ("#\." equivalence)]
- ["." text ("#\." equivalence)
+ ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)
["%" format {"+" [format]}]]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]} ("#\." monad)]]]]
+ ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
[\\library
- ["." /
- ["/#" //]]]
+ ["[0]" /
+ ["/[1]" //]]]
[////
[data
- ["$." binary]]])
+ ["$[0]" binary]]])
(def: concern
(Random [/.Concern (Predicate /.Concern)])
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index 9abbbb7cd..7da4c9c34 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." maybe]]
+ ["[0]" maybe]]
[data
- ["." bit ("#\." equivalence)]
+ ["[0]" bit ("[1]\[0]" equivalence)]
[collection
- ["." list]
- ["." set {"+" [Set]}]]]
+ ["[0]" list]
+ ["[0]" set {"+" [Set]}]]]
[macro
- ["." template]]
+ ["[0]" template]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
(with_expansions [<groups> (as_is [keys/commands
[/.back_space
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index b2999b74d..1f80ba26b 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -6,26 +6,26 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [do>]}]
- ["." io {"+" [IO]}]
- ["." try]
- ["." function]]
+ ["[0]" io {"+" [IO]}]
+ ["[0]" try]
+ ["[0]" function]]
[data
- ["." binary]
- ["." product]
- ["." text
+ ["[0]" binary]
+ ["[0]" product]
+ ["[0]" text
["%" format {"+" [format]}]
[encoding
- ["." utf8]]]
+ ["[0]" utf8]]]
[collection
- ["." dictionary]]]
+ ["[0]" dictionary]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
- ["." nat]]]]]
+ ["[0]" nat]]]]]
[\\library
- ["." /
- ["/#" //
- ["#." status]]]])
+ ["[0]" /
+ ["/[1]" //
+ ["[1][0]" status]]]])
(def: .public test
Test
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index ab11270c8..fb987aad6 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -4,16 +4,16 @@
["_" test {"+" [Test]}]
[data
[collection
- ["." list]
- ["." set {"+" [Set]}]]]
+ ["[0]" list]
+ ["[0]" set {"+" [Set]}]]]
[macro
- ["." template]]
+ ["[0]" template]]
[math
[number
["n" nat]]]]]
[\\library
- ["." /
- ["/#" //]]])
+ ["[0]" /
+ ["/[1]" //]]])
(with_expansions [<categories> (as_is [informational
[/.continue
diff --git a/stdlib/source/test/lux/world/output/video/resolution.lux b/stdlib/source/test/lux/world/output/video/resolution.lux
index 59a46f103..5c4990479 100644
--- a/stdlib/source/test/lux/world/output/video/resolution.lux
+++ b/stdlib/source/test/lux/world/output/video/resolution.lux
@@ -5,20 +5,20 @@
[abstract
[monad {"+" [do]}]
[\\specification
- ["$." equivalence]
- ["$." hash]]]
+ ["$[0]" equivalence]
+ ["$[0]" hash]]]
[control
- ["." maybe]]
+ ["[0]" maybe]]
[data
[collection
- ["." list]
- ["." set {"+" [Set]}]]]
+ ["[0]" list]
+ ["[0]" set {"+" [Set]}]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." /]])
+ ["[0]" /]])
(with_expansions [<resolutions> (as_is /.svga
/.wsvga
diff --git a/stdlib/source/test/lux/world/program.lux b/stdlib/source/test/lux/world/program.lux
index 4b1c4ba22..eafafecaa 100644
--- a/stdlib/source/test/lux/world/program.lux
+++ b/stdlib/source/test/lux/world/program.lux
@@ -6,27 +6,27 @@
[monad {"+" [do]}]]
[control
[pipe {"+" [case>]}]
- ["." io]
- ["." maybe ("#\." functor)]
- ["." try]
- ["." exception]
+ ["[0]" io]
+ ["[0]" maybe ("[1]\[0]" functor)]
+ ["[0]" try]
+ ["[0]" exception]
[parser
[environment {"+" [Environment]}]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." dictionary]
- ["." list]]]
+ ["[0]" dictionary]
+ ["[0]" list]]]
[math
- ["." random {"+" [Random]}]
+ ["[0]" random {"+" [Random]}]
[number
["n" nat]]]]]
[\\library
- ["." /
+ ["[0]" /
[//
[file {"+" [Path]}]]]]
[\\specification
- ["$." /]])
+ ["$[0]" /]])
(def: (environment env_size)
(-> Nat (Random Environment))
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 250f7f9b2..8d98b5f1f 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -5,28 +5,28 @@
[abstract
[monad {"+" [do]}]]
[control
- ["." try {"+" [Try]}]
- ["." exception {"+" [exception:]}]
- ["." io {"+" [IO]}]
+ ["[0]" try {"+" [Try]}]
+ ["[0]" exception {"+" [exception:]}]
+ ["[0]" io {"+" [IO]}]
[concurrency
- ["." async {"+" [Async]}]]
+ ["[0]" async {"+" [Async]}]]
[parser
- ["." environment {"+" [Environment]}]]]
+ ["[0]" environment {"+" [Environment]}]]]
[data
- ["." text ("#\." equivalence)]
+ ["[0]" text ("[1]\[0]" equivalence)]
[collection
- ["." list]]]
+ ["[0]" list]]]
[math
- ["." random]
+ ["[0]" random]
[number
["n" nat]
["i" int]]]]]
[\\library
- ["." /
+ ["[0]" /
[//
[file {"+" [Path]}]]]]
[\\specification
- ["$." /]])
+ ["$[0]" /]])
(exception: dead)