From 9f039e8a0a09e0278547d697efa018cd3fd68672 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Fri, 30 Jul 2021 01:12:05 -0400 Subject: More renamings. --- stdlib/source/poly/lux/data/format/json.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/poly') diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux index 9ce3b6a6e..d8eecd816 100644 --- a/stdlib/source/poly/lux/data/format/json.lux +++ b/stdlib/source/poly/lux/data/format/json.lux @@ -55,14 +55,14 @@ (function (_ input) (non_rec (rec_encode non_rec) input))) -(def: low_mask Nat (|> 1 (i64.left_shift 32) dec)) -(def: high_mask Nat (|> low_mask (i64.left_shift 32))) +(def: low_mask Nat (|> 1 (i64.left_shifted 32) dec)) +(def: high_mask Nat (|> low_mask (i64.left_shifted 32))) (implementation: nat_codec (codec.Codec JSON Nat) (def: (encode input) - (let [high (|> input (i64.and high_mask) (i64.right_shift 32)) + (let [high (|> input (i64.and high_mask) (i64.right_shifted 32)) low (i64.and low_mask input)] (#/.Array (row (|> high .int int.frac #/.Number) (|> low .int int.frac #/.Number))))) @@ -71,7 +71,7 @@ (do <>.monad [high .number low .number] - (in (n.+ (|> high frac.int .nat (i64.left_shift 32)) + (in (n.+ (|> high frac.int .nat (i64.left_shifted 32)) (|> low frac.int .nat)))))))) (implementation: int_codec -- cgit v1.2.3