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/spec/aedifex | |
| 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 '')
| -rw-r--r-- | stdlib/source/spec/aedifex/repository.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/spec/aedifex/repository.lux b/stdlib/source/spec/aedifex/repository.lux index a660722d9..77c453f4b 100644 --- a/stdlib/source/spec/aedifex/repository.lux +++ b/stdlib/source/spec/aedifex/repository.lux @@ -28,15 +28,15 @@ [expected (_binary.random 100)] (wrap ($_ _.and' (do promise.monad - [upload!/good (:: subject upload valid-identity valid-artifact //artifact/extension.lux-library expected) - download!/good (:: subject download valid-artifact //artifact/extension.lux-library) + [upload!/good (\ subject upload valid-identity valid-artifact //artifact/extension.lux-library expected) + download!/good (\ subject download valid-artifact //artifact/extension.lux-library) - upload!/bad (:: subject upload invalid-identity invalid-artifact //artifact/extension.lux-library expected) - download!/bad (:: subject download invalid-artifact //artifact/extension.lux-library)] + upload!/bad (\ subject upload invalid-identity invalid-artifact //artifact/extension.lux-library expected) + download!/bad (\ subject download invalid-artifact //artifact/extension.lux-library)] (_.cover' [/.Repository] (and (case [upload!/good download!/good] [(#try.Success _) (#try.Success actual)] - (:: binary.equivalence = expected actual) + (\ binary.equivalence = expected actual) _ false) |