From 5d2dd7ab4defe092d99adc1259e28cab36765dad Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 6 Apr 2017 00:59:05 -0400
Subject: - Added binary, octal and hexadecimal codecs for reals. - Added octal
 codec for degs.

---
 stdlib/test/test/lux/data/number.lux | 34 +++++++++++++++++++---------------
 1 file changed, 19 insertions(+), 15 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/data/number.lux b/stdlib/test/test/lux/data/number.lux
index eb09eec09..131db1441 100644
--- a/stdlib/test/test/lux/data/number.lux
+++ b/stdlib/test/test/lux/data/number.lux
@@ -122,19 +122,23 @@
                         (#;Left _)
                         false))))]
 
-  ["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/Binary" R;deg  Eq<Deg>  Binary@Codec<Text,Deg>]
-  ["Deg"        R;deg  Eq<Deg>  Codec<Text,Deg>]
-  ["Deg/Hex"    R;deg  Eq<Deg>  Hex@Codec<Text,Deg>]
-
-  ["Real"       R;real Eq<Real> Codec<Text,Real>]
+  ["Nat/Binary"  R;nat  Eq<Nat>  Binary@Codec<Text,Nat>]
+  ["Nat/Octal"   R;nat  Eq<Nat>  Octal@Codec<Text,Nat>]
+  ["Nat/Decimal" 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/Decimal" R;int  Eq<Int>  Codec<Text,Int>]
+  ["Int/Hex"     R;int  Eq<Int>  Hex@Codec<Text,Int>]
+
+  ["Deg/Binary"  R;deg  Eq<Deg>  Binary@Codec<Text,Deg>]
+  ["Deg/Octal"   R;deg  Eq<Deg>  Octal@Codec<Text,Deg>]
+  ["Deg/Decimal" R;deg  Eq<Deg>  Codec<Text,Deg>]
+  ["Deg/Hex"     R;deg  Eq<Deg>  Hex@Codec<Text,Deg>]
+
+  ["Real/Binary"  R;real Eq<Real> Binary@Codec<Text,Real>]
+  ["Real/Octal"   R;real Eq<Real> Octal@Codec<Text,Real>]
+  ["Real/Decimal" R;real Eq<Real> Codec<Text,Real>]
+  ["Real/Hex"     R;real Eq<Real> Hex@Codec<Text,Real>]
   )
-- 
cgit v1.2.3