aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/world
diff options
context:
space:
mode:
authorEduardo Julian2022-03-16 08:37:23 -0400
committerEduardo Julian2022-03-16 08:37:23 -0400
commitbf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 (patch)
tree49683a62ae8e110c62b42a9a6386bb2ddb3c47c6 /stdlib/source/test/lux/world
parentd710d9f4fc098e7c243c8a5f23cd42683f13e07f (diff)
De-sigil-ification: prefix :
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/world/file.lux4
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux4
-rw-r--r--stdlib/source/test/lux/world/input/keyboard.lux6
-rw-r--r--stdlib/source/test/lux/world/net/http/client.lux42
-rw-r--r--stdlib/source/test/lux/world/net/http/status.lux36
-rw-r--r--stdlib/source/test/lux/world/shell.lux58
6 files changed, 75 insertions, 75 deletions
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index f494b7705..a7e9de34a 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -125,8 +125,8 @@
(def: (fs /)
(-> Text (/.System IO))
- (let [disk (: (Atom Disk)
- (atom.atom (dictionary.empty text.hash)))
+ (let [disk (is (Atom Disk)
+ (atom.atom (dictionary.empty text.hash)))
mock (/.mock /)]
(implementation
(def: separator /)
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index cbdb160d9..53263b27a 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -99,8 +99,8 @@
(def: (after_creation! fs watcher expected_path)
(-> (//.System Async) (/.Watcher Async) //.Path (Async (Try Bit)))
(do (try.with async.monad)
- [_ (: (Async (Try Any))
- (//.make_file async.monad fs (binary.empty 0) expected_path))
+ [_ (is (Async (Try Any))
+ (//.make_file async.monad fs (binary.empty 0) expected_path))
poll/pre (# watcher poll [])
poll/post (# watcher poll [])]
(in (and (case poll/pre
diff --git a/stdlib/source/test/lux/world/input/keyboard.lux b/stdlib/source/test/lux/world/input/keyboard.lux
index d378cb0ee..97ebb59ac 100644
--- a/stdlib/source/test/lux/world/input/keyboard.lux
+++ b/stdlib/source/test/lux/world/input/keyboard.lux
@@ -113,9 +113,9 @@
(def: listing
(List /.Key)
(list.together (`` (list (~~ (template [<definition> <keys>]
- [((: (-> Any (List /.Key))
- (function (_ _)
- (`` (list (~~ (template.spliced <keys>))))))
+ [((is (-> Any (List /.Key))
+ (function (_ _)
+ (`` (list (~~ (template.spliced <keys>))))))
[])]
<groups>))))))
diff --git a/stdlib/source/test/lux/world/net/http/client.lux b/stdlib/source/test/lux/world/net/http/client.lux
index 3d4de1e0f..1ab2b0a1d 100644
--- a/stdlib/source/test/lux/world/net/http/client.lux
+++ b/stdlib/source/test/lux/world/net/http/client.lux
@@ -67,27 +67,27 @@
on_trace random.nat
num_headers (# ! each (nat.% 10) random.nat)
headers (random.dictionary text.hash num_headers (random.ascii/lower 3) (random.ascii/lower 3))
- .let [mock (: (/.Client IO)
- (implementation
- (def: (request method url headers data)
- (io.io (let [value (case method
- {//.#Post} on_post
- {//.#Get} on_get
- {//.#Put} on_put
- {//.#Patch} on_patch
- {//.#Delete} on_delete
- {//.#Head} on_head
- {//.#Connect} on_connect
- {//.#Options} on_options
- {//.#Trace} on_trace)
- data (|> value
- (# nat.decimal encoded)
- (# utf8.codec encoded))]
- {try.#Success [//status.ok
- [//.#headers headers
- //.#body (function (_ ?wanted_bytes)
- (io.io {try.#Success [(binary.size data)
- data]}))]]})))))]]
+ .let [mock (is (/.Client IO)
+ (implementation
+ (def: (request method url headers data)
+ (io.io (let [value (case method
+ {//.#Post} on_post
+ {//.#Get} on_get
+ {//.#Put} on_put
+ {//.#Patch} on_patch
+ {//.#Delete} on_delete
+ {//.#Head} on_head
+ {//.#Connect} on_connect
+ {//.#Options} on_options
+ {//.#Trace} on_trace)
+ data (|> value
+ (# nat.decimal encoded)
+ (# utf8.codec encoded))]
+ {try.#Success [//status.ok
+ [//.#headers headers
+ //.#body (function (_ ?wanted_bytes)
+ (io.io {try.#Success [(binary.size data)
+ data]}))]]})))))]]
(with_expansions [<cases> (as_is [/.post on_post]
[/.get on_get]
[/.put on_put]
diff --git a/stdlib/source/test/lux/world/net/http/status.lux b/stdlib/source/test/lux/world/net/http/status.lux
index 97359a058..f6c5a32ab 100644
--- a/stdlib/source/test/lux/world/net/http/status.lux
+++ b/stdlib/source/test/lux/world/net/http/status.lux
@@ -1,19 +1,19 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [data
- [collection
- ["[0]" list]
- ["[0]" set {"+" Set}]]]
- [macro
- ["[0]" template]]
- [math
- [number
- ["n" nat]]]]]
- [\\library
- ["[0]" /
- ["/[1]" //]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [data
+ [collection
+ ["[0]" list]
+ ["[0]" set {"+" Set}]]]
+ [macro
+ ["[0]" template]]
+ [math
+ [number
+ ["n" nat]]]]]
+ [\\library
+ ["[0]" /
+ ["/[1]" //]]])
(with_expansions [<categories> (as_is [informational
[/.continue
@@ -85,9 +85,9 @@
(def: all
(List //.Status)
(list.together (`` (list (~~ (template [<category> <status+>]
- [((: (-> Any (List //.Status))
- (function (_ _)
- (`` (list (~~ (template.spliced <status+>))))))
+ [((is (-> Any (List //.Status))
+ (function (_ _)
+ (`` (list (~~ (template.spliced <status+>))))))
123)]
<categories>))))))
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index 7d62ad2ca..608af1381 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -1,32 +1,32 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]
- ["[0]" io {"+" IO}]
- [concurrency
- ["[0]" async {"+" Async}]]
- [parser
- ["[0]" environment {"+" Environment}]]]
- [data
- ["[0]" text ("[1]#[0]" equivalence)]
- [collection
- ["[0]" list]]]
- [math
- ["[0]" random]
- [number
- ["n" nat]
- ["i" int]]]]]
- [\\library
- ["[0]" /
- [//
- [file {"+" Path}]]]]
- [\\specification
- ["$[0]" /]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["[0]" io {"+" IO}]
+ [concurrency
+ ["[0]" async {"+" Async}]]
+ [parser
+ ["[0]" environment {"+" Environment}]]]
+ [data
+ ["[0]" text ("[1]#[0]" equivalence)]
+ [collection
+ ["[0]" list]]]
+ [math
+ ["[0]" random]
+ [number
+ ["n" nat]
+ ["i" int]]]]]
+ [\\library
+ ["[0]" /
+ [//
+ [file {"+" Path}]]]]
+ [\\specification
+ ["$[0]" /]])
(exception: dead)
@@ -67,7 +67,7 @@
(def: (execute [environment working_directory command arguments])
(<| io.io
{try.#Success}
- (: (/.Process IO))
+ (is (/.Process IO))
(implementation
(def: (read _)
(io.io {try.#Success command}))