diff options
| author | Eduardo Julian | 2017-09-04 19:41:59 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-04 19:41:59 -0400 |
| commit | f08a9fb208a32ee8f450649095c4f8a0f05931da (patch) | |
| tree | e7afc3734ab98f66205a99fa7eae2de0dddeea3a /stdlib/source/lux/data/format/json.lux | |
| parent | bc0d2da7a08e6c1b367a8d664d2958dfcdf7b98e (diff) | |
- Re-named "real" numbers to "frac"(tions).
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/format/json.lux | 8 |
1 files changed, 4 insertions, 4 deletions
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)] |