diff options
author | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-06-16 21:37:38 -0400 |
commit | 7249707e7c09be68dfb7507ba363efd3300a0141 (patch) | |
tree | 1fb4764458da16353315ea7e267f997c9be70f49 /stdlib/source/test/lux/math/number/ratio.lux | |
parent | e00e0b5f1e5fb509cf8f32424397110f524b8148 (diff) |
De-sigil-ification: suffix : [Part 14]
Diffstat (limited to 'stdlib/source/test/lux/math/number/ratio.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/ratio.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/math/number/ratio.lux b/stdlib/source/test/lux/math/number/ratio.lux index 147853cf7..9865db7ed 100644 --- a/stdlib/source/test/lux/math/number/ratio.lux +++ b/stdlib/source/test/lux/math/number/ratio.lux @@ -1,4 +1,4 @@ -(.using +(.require [library [lux (.except) ["_" test (.only Test)] @@ -10,15 +10,15 @@ ["$[0]" monoid] ["$[0]" codec]]] [control - ["[0]" maybe (.open: "[1]#[0]" functor)]] + ["[0]" maybe (.use "[1]#[0]" functor)]] [data - ["[0]" bit (.open: "[1]#[0]" equivalence)]] + ["[0]" bit (.use "[1]#[0]" equivalence)]] [math ["[0]" random (.only Random)]]]] [\\library ["[0]" / (.only) [// - ["n" nat (.open: "[1]#[0]" equivalence)]]]]) + ["n" nat (.use "[1]#[0]" equivalence)]]]]) (def part (Random Nat) |