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)  | 
