From f08a9fb208a32ee8f450649095c4f8a0f05931da Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 4 Sep 2017 19:41:59 -0400
Subject: - Re-named "real" numbers to "frac"(tions).

---
 stdlib/source/lux/data/format/json.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/lux/data/format/json.lux')

diff --git a/stdlib/source/lux/data/format/json.lux b/stdlib/source/lux/data/format/json.lux
index 379e3b23b..847b5fa0f 100644
--- a/stdlib/source/lux/data/format/json.lux
+++ b/stdlib/source/lux/data/format/json.lux
@@ -11,7 +11,7 @@
        (data [bool]
              [text "text/" Eq<Text> Monoid<Text>]
              (text ["l" lexer])
-             [number "real/" Codec<Text,Real> "nat/" Codec<Text,Nat>]
+             [number "frac/" Codec<Text,Frac> "nat/" Codec<Text,Nat>]
              maybe
              ["R" result]
              [sum]
@@ -32,7 +32,7 @@
 
   [Null    Unit]
   [Boolean Bool]
-  [Number  Real]
+  [Number  Frac]
   [String  Text]
   )
 
@@ -72,7 +72,7 @@
         [_ (<ast-tag> value)]
         (wrap (list (` (: JSON (<json-tag> (~ (<ctor> value))))))))
       ([#;Bool code;bool            #Boolean]
-       [#;Real code;real            #Number]
+       [#;Frac code;frac            #Number]
        [#;Text code;text            #String])
 
       [_ (#;Tag ["" "null"])]
@@ -190,7 +190,7 @@
         [(<tag> x') (<tag> y')]
         (:: <struct> = x' y'))
       ([#Boolean bool;Eq<Bool>]
-       [#Number  number;Eq<Real>]
+       [#Number  number;Eq<Frac>]
        [#String  text;Eq<Text>])
 
       [(#Array xs) (#Array ys)]
-- 
cgit v1.2.3