diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/data/number/nat.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/data/number/nat.lux b/stdlib/source/test/lux/data/number/nat.lux index 17ee0503b..9616e9bd6 100644 --- a/stdlib/source/test/lux/data/number/nat.lux +++ b/stdlib/source/test/lux/data/number/nat.lux @@ -28,13 +28,13 @@ ($number.spec /.order /.number (:: r.monad map (n/% 1,000,000) r.nat)) ($enum.spec /.enum r.nat) ($interval.spec /.interval r.nat) - (~~ (do-template [<monoid>] + (~~ (template [<monoid>] [(<| (_.context (%name (name-of <monoid>))) ($monoid.spec /.equivalence <monoid> r.nat))] [/.addition] [/.multiplication] [/.minimum] [/.maximum] )) - (~~ (do-template [<codec>] + (~~ (template [<codec>] [(<| (_.context (%name (name-of /.binary))) ($codec.spec /.equivalence <codec> r.nat))] |