diff options
author | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-12-02 06:42:20 -0400 |
commit | 34e310622bdeb1d0588c0664c0e78cbaa84f837c (patch) | |
tree | eb7c04185b57c781f45d0ccdb955bc9afc2aa8dc /stdlib/source/test/lux/world | |
parent | 982a19e0c5d57b53f9726b780fec4c18f0787b4f (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.lux | 114 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/file/watch.lux | 32 | ||||
-rw-r--r-- | stdlib/source/test/lux/world/shell.lux | 12 |
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! |