diff options
author | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-07 22:50:21 -0400 |
commit | 35c0807799717cd720ab28b35851c1a01a67445d (patch) | |
tree | c6237b79fb262d24c8a46ee3ecb714df3e9874d8 /stdlib/source/test/lux/world | |
parent | b55cefcb258f11eeee32c1478faefd1bd09ec871 (diff) |
De-taggification | part 4
Diffstat (limited to 'stdlib/source/test/lux/world')
-rw-r--r-- | stdlib/source/test/lux/world/console.lux | 14 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file.lux | 12 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file/watch.lux | 20 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/input/keyboard.lux | 14 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/net/http/client.lux | 26 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/net/http/status.lux | 10 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/output/video/resolution.lux | 14 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/program.lux | 20 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/shell.lux | 20 |
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) |