aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/world
diff options
context:
space:
mode:
authorEduardo Julian2020-12-02 06:42:20 -0400
committerEduardo Julian2020-12-02 06:42:20 -0400
commit34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch)
treeeb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/test/lux/world
parent982a19e0c5d57b53f9726b780fec4c18f0787b4f (diff)
Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the convention that only macros that deal with types may start with a colon.
Diffstat (limited to 'stdlib/source/test/lux/world')
-rw-r--r--stdlib/source/test/lux/world/file.lux114
-rw-r--r--stdlib/source/test/lux/world/file/watch.lux32
-rw-r--r--stdlib/source/test/lux/world/shell.lux12
3 files changed, 79 insertions, 79 deletions
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux
index 5c633a048..d1d1d175b 100644
--- a/stdlib/source/test/lux/world/file.lux
+++ b/stdlib/source/test/lux/world/file.lux
@@ -43,9 +43,9 @@
[#let [check-existence! (: (IO (Try Bit))
(try.lift io.monad (/.exists? io.monad /.default path)))]
pre! check-existence!
- file (!.use (:: /.default create-file) path)
+ file (!.use (\ /.default create-file) path)
post! check-existence!
- _ (!.use (:: file delete) [])
+ _ (!.use (\ file delete) [])
remains? check-existence!]
(wrap (and (not pre!)
post!
@@ -59,11 +59,11 @@
[#let [path (format "temp_file_" (%.nat number))]
result (promise.future
(do (try.with io.monad)
- [file (!.use (:: /.default create-file) path)
- _ (!.use (:: file over-write) data)
- content (!.use (:: file content) [])
- _ (!.use (:: file delete) [])]
- (wrap (:: binary.equivalence = data content))))]
+ [file (!.use (\ /.default create-file) path)
+ _ (!.use (\ file over-write) data)
+ content (!.use (\ file content) [])
+ _ (!.use (\ file delete) [])]
+ (wrap (\ binary.equivalence = data content))))]
(_.assert "Can write/read files."
(try.default #0 result)))))
@@ -71,14 +71,14 @@
Test
(<| (_.context (%.name (name-of /._)))
(do {! r.monad}
- [file-size (|> r.nat (:: ! map (|>> (n.% 100) (n.max 10))))
+ [file-size (|> r.nat (\ ! map (|>> (n.% 100) (n.max 10))))
dataL (_binary.random file-size)
dataR (_binary.random file-size)
- new-modified (|> r.int (:: ! map (|>> i.abs
- (i.% +10,000,000,000,000)
- truncate-millis
- duration.from-millis
- instant.absolute)))]
+ new-modified (|> r.int (\ ! map (|>> i.abs
+ (i.% +10,000,000,000,000)
+ truncate-millis
+ duration.from-millis
+ instant.absolute)))]
($_ _.and
(..creation-and-deletion 0)
(..read-and-write 1 dataL)
@@ -87,10 +87,10 @@
[#let [path "temp_file_2"]
result (promise.future
(do (try.with io.monad)
- [file (!.use (:: /.default create-file) path)
- _ (!.use (:: file over-write) dataL)
- read-size (!.use (:: file size) [])
- _ (!.use (:: file delete) [])]
+ [file (!.use (\ /.default create-file) path)
+ _ (!.use (\ file over-write) dataL)
+ read-size (!.use (\ file size) [])
+ _ (!.use (\ file delete) [])]
(wrap (n.= file-size read-size))))]
(_.assert "Can read file size."
(try.default #0 result))))
@@ -98,19 +98,19 @@
[#let [path "temp_file_3"]
result (promise.future
(do (try.with io.monad)
- [file (!.use (:: /.default create-file) path)
- _ (!.use (:: file over-write) dataL)
- _ (!.use (:: file append) dataR)
- content (!.use (:: file content) [])
- read-size (!.use (:: file size) [])
- _ (!.use (:: file delete) [])]
+ [file (!.use (\ /.default create-file) path)
+ _ (!.use (\ file over-write) dataL)
+ _ (!.use (\ file append) dataR)
+ content (!.use (\ file content) [])
+ read-size (!.use (\ file size) [])
+ _ (!.use (\ file delete) [])]
(wrap (and (n.= (n.* 2 file-size) read-size)
- (:: binary.equivalence =
- dataL
- (try.assume (binary.slice 0 (dec file-size) content)))
- (:: binary.equivalence =
- dataR
- (try.assume (binary.slice file-size (dec read-size) content)))))))]
+ (\ binary.equivalence =
+ dataL
+ (try.assume (binary.slice 0 (dec file-size) content)))
+ (\ binary.equivalence =
+ dataR
+ (try.assume (binary.slice file-size (dec read-size) content)))))))]
(_.assert "Can append to files."
(try.default #0 result))))
(wrap (do promise.monad
@@ -120,9 +120,9 @@
[#let [check-existence! (: (IO (Try Bit))
(try.lift io.monad (/.exists? io.monad /.default path)))]
pre! check-existence!
- dir (!.use (:: /.default create-directory) path)
+ dir (!.use (\ /.default create-directory) path)
post! check-existence!
- _ (!.use (:: dir discard) [])
+ _ (!.use (\ dir discard) [])
remains? check-existence!]
(wrap (and (not pre!)
post!
@@ -134,12 +134,12 @@
dir-path "temp_dir_5"]
result (promise.future
(do (try.with io.monad)
- [dir (!.use (:: /.default create-directory) dir-path)
- file (!.use (:: /.default create-file) (format dir-path "/" file-path))
- _ (!.use (:: file over-write) dataL)
- read-size (!.use (:: file size) [])
- _ (!.use (:: file delete) [])
- _ (!.use (:: dir discard) [])]
+ [dir (!.use (\ /.default create-directory) dir-path)
+ file (!.use (\ /.default create-file) (format dir-path "/" file-path))
+ _ (!.use (\ file over-write) dataL)
+ read-size (!.use (\ file size) [])
+ _ (!.use (\ file delete) [])
+ _ (!.use (\ dir discard) [])]
(wrap (n.= file-size read-size))))]
(_.assert "Can create files inside of directories."
(try.default #0 result))))
@@ -149,18 +149,18 @@
inner-dir-path "inner_temp_dir_6"]
result (promise.future
(do (try.with io.monad)
- [dir (!.use (:: /.default create-directory) dir-path)
- pre-files (!.use (:: dir files) [])
- pre-directories (!.use (:: dir directories) [])
+ [dir (!.use (\ /.default create-directory) dir-path)
+ pre-files (!.use (\ dir files) [])
+ pre-directories (!.use (\ dir directories) [])
- file (!.use (:: /.default create-file) (format dir-path "/" file-path))
- inner-dir (!.use (:: /.default create-directory) (format dir-path "/" inner-dir-path))
- post-files (!.use (:: dir files) [])
- post-directories (!.use (:: dir directories) [])
+ file (!.use (\ /.default create-file) (format dir-path "/" file-path))
+ inner-dir (!.use (\ /.default create-directory) (format dir-path "/" inner-dir-path))
+ post-files (!.use (\ dir files) [])
+ post-directories (!.use (\ dir directories) [])
- _ (!.use (:: file delete) [])
- _ (!.use (:: inner-dir discard) [])
- _ (!.use (:: dir discard) [])]
+ _ (!.use (\ file delete) [])
+ _ (!.use (\ inner-dir discard) [])
+ _ (!.use (\ dir discard) [])]
(wrap (and (and (n.= 0 (list.size pre-files))
(n.= 0 (list.size pre-directories)))
(and (n.= 1 (list.size post-files))
@@ -171,12 +171,12 @@
[#let [path "temp_file_7"]
result (promise.future
(do (try.with io.monad)
- [file (!.use (:: /.default create-file) path)
- _ (!.use (:: file over-write) dataL)
- _ (!.use (:: file modify) new-modified)
- current-modified (!.use (:: file last-modified) [])
- _ (!.use (:: file delete) [])]
- (wrap (:: instant.equivalence = new-modified current-modified))))]
+ [file (!.use (\ /.default create-file) path)
+ _ (!.use (\ file over-write) dataL)
+ _ (!.use (\ file modify) new-modified)
+ current-modified (!.use (\ file last-modified) [])
+ _ (!.use (\ file delete) [])]
+ (wrap (\ instant.equivalence = new-modified current-modified))))]
(_.assert "Can change the time of last modification."
(try.default #0 result))))
(wrap (do promise.monad
@@ -187,14 +187,14 @@
[#let [check-existence! (: (-> Path (IO (Try Bit)))
(|>> (/.exists? io.monad /.default)
(try.lift io.monad)))]
- file0 (!.use (:: /.default create-file) path0)
- _ (!.use (:: file0 over-write) dataL)
+ file0 (!.use (\ /.default create-file) path0)
+ _ (!.use (\ file0 over-write) dataL)
pre! (check-existence! path0)
file1 (: (IO (Try (File IO))) ## TODO: Remove :
- (!.use (:: file0 move) path1))
+ (!.use (\ file0 move) path1))
post! (check-existence! path0)
confirmed? (check-existence! path1)
- _ (!.use (:: file1 delete) [])]
+ _ (!.use (\ file1 delete) [])]
(wrap (and pre!
(not post!)
confirmed?))))]
diff --git a/stdlib/source/test/lux/world/file/watch.lux b/stdlib/source/test/lux/world/file/watch.lux
index 5f55825e4..8b1c22697 100644
--- a/stdlib/source/test/lux/world/file/watch.lux
+++ b/stdlib/source/test/lux/world/file/watch.lux
@@ -72,8 +72,8 @@
#let [[fs watcher] (/.mock "/")]]
($_ _.and
(wrap (do promise.monad
- [?concern (:: watcher concern directory)
- ?stop (:: watcher stop directory)]
+ [?concern (\ watcher concern directory)
+ ?stop (\ watcher stop directory)]
(_.cover' [/.not-being-watched]
(and (case ?concern
(#try.Failure error)
@@ -101,19 +101,19 @@
[directory (random.ascii/alpha 5)
#let [/ "/"
[fs watcher] (/.mock /)]
- expected-path (:: ! map (|>> (format directory /))
- (random.ascii/alpha 5))
+ expected-path (\ ! map (|>> (format directory /))
+ (random.ascii/alpha 5))
data (_binary.random 10)]
(wrap (do {! promise.monad}
[verdict (do (try.with !)
- [_ (!.use (:: fs create-directory) [directory])
- _ (:: watcher start /.all directory)
- poll/0 (:: watcher poll [])
+ [_ (!.use (\ fs create-directory) [directory])
+ _ (\ watcher start /.all directory)
+ poll/0 (\ watcher poll [])
#let [no-events-prior-to-creation!
(list.empty? poll/0)]
- file (!.use (:: fs create-file) [expected-path])
- poll/1 (:: watcher poll [])
- poll/1' (:: watcher poll [])
+ file (!.use (\ fs create-file) [expected-path])
+ poll/1 (\ watcher poll [])
+ poll/1' (\ watcher poll [])
#let [after-creation!
(and (case poll/1
(^ (list [actual-path concern]))
@@ -126,9 +126,9 @@
false)
(list.empty? poll/1'))]
_ (promise.delay 1 (#try.Success "Delay to make sure the over-write time-stamp always changes."))
- _ (!.use (:: file over-write) data)
- poll/2 (:: watcher poll [])
- poll/2' (:: watcher poll [])
+ _ (!.use (\ file over-write) data)
+ poll/2 (\ watcher poll [])
+ poll/2' (\ watcher poll [])
#let [after-modification!
(and (case poll/2
(^ (list [actual-path concern]))
@@ -140,9 +140,9 @@
_
false)
(list.empty? poll/2'))]
- _ (!.use (:: file delete) [])
- poll/3 (:: watcher poll [])
- poll/3' (:: watcher poll [])
+ _ (!.use (\ file delete) [])
+ poll/3 (\ watcher poll [])
+ poll/3' (\ watcher poll [])
#let [after-deletion!
(and (case poll/3
(^ (list [actual-path concern]))
diff --git a/stdlib/source/test/lux/world/shell.lux b/stdlib/source/test/lux/world/shell.lux
index b7848cba4..e9d844141 100644
--- a/stdlib/source/test/lux/world/shell.lux
+++ b/stdlib/source/test/lux/world/shell.lux
@@ -113,11 +113,11 @@
#let [shell (/.async (..io-shell command oops input destruction exit))]]
(wrap (do {! promise.monad}
[verdict (do (try.with !)
- [process (!.use (:: shell execute) [environment.empty "~" command (list)])
- read (!.use (:: process read) [])
- error (!.use (:: process error) [])
+ [process (!.use (\ shell execute) [environment.empty "~" command (list)])
+ read (!.use (\ process read) [])
+ error (!.use (\ process error) [])
wrote! (do !
- [write (!.use (:: process write) [input])]
+ [write (!.use (\ process write) [input])]
(wrap (#try.Success (case write
(#try.Success _)
false
@@ -125,14 +125,14 @@
(#try.Failure write)
(text\= input write)))))
destroyed! (do !
- [destroy (!.use (:: process destroy) [])]
+ [destroy (!.use (\ process destroy) [])]
(wrap (#try.Success (case destroy
(#try.Success _)
false
(#try.Failure destroy)
(text\= destruction destroy)))))
- await (!.use (:: process await) [])]
+ await (!.use (\ process await) [])]
(wrap (and (text\= command read)
(text\= oops error)
wrote!