aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/test')
-rw-r--r--stdlib/test/test/lux/data/number.lux29
1 files changed, 10 insertions, 19 deletions
diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux
index eefbd584b..8e959cf6f 100644
--- a/stdlib/test/test/lux/data/number.lux
+++ b/stdlib/test/test/lux/data/number.lux
@@ -110,25 +110,6 @@
)
(do-template [<category> <rand-gen> <Eq> <Codec>]
- [(test: (format "[" <category> "] " "Codec")
- [x <rand-gen>]
- (assert "Can encode/decode values."
- (|> x
- (:: <Codec> encode)
- (:: <Codec> decode)
- (case> (#;Right x')
- (:: <Eq> = x x')
-
- (#;Left _)
- false))))]
-
- ["Nat" R;nat Eq<Nat> Codec<Text,Nat>]
- ["Int" R;int Eq<Int> Codec<Text,Int>]
- ["Real" R;real Eq<Real> Codec<Text,Real>]
- ["Deg" R;deg Eq<Deg> Codec<Text,Deg>]
- )
-
-(do-template [<category> <rand-gen> <Eq> <Codec>]
[(test: (format "[" <category> "] " "Alternative formats")
[x <rand-gen>]
(assert "Can encode/decode values."
@@ -143,5 +124,15 @@
["Nat/Binary" R;nat Eq<Nat> Binary@Codec<Text,Nat>]
["Nat/Octal" R;nat Eq<Nat> Octal@Codec<Text,Nat>]
+ ["Nat" R;nat Eq<Nat> Codec<Text,Nat>]
["Nat/Hex" R;nat Eq<Nat> Hex@Codec<Text,Nat>]
+
+ ["Int/Binary" R;int Eq<Int> Binary@Codec<Text,Int>]
+ ["Int/Octal" R;int Eq<Int> Octal@Codec<Text,Int>]
+ ["Int" R;int Eq<Int> Codec<Text,Int>]
+ ["Int/Hex" R;int Eq<Int> Hex@Codec<Text,Int>]
+
+ ["Deg" R;deg Eq<Deg> Codec<Text,Deg>]
+
+ ["Real" R;real Eq<Real> Codec<Text,Real>]
)