From aee4365929799f0210ed05e617aa74b129dc203b Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Tue, 14 Feb 2023 20:31:35 -0800 Subject: [PATCH] Logical Boolean ops in bigints.joy. --- joy_code/bigints/bigints.joy | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/joy_code/bigints/bigints.joy b/joy_code/bigints/bigints.joy index 33745b8..9f4819c 100644 --- a/joy_code/bigints/bigints.joy +++ b/joy_code/bigints/bigints.joy @@ -34,7 +34,7 @@ clear [initial-carry false rollup] -[same-sign [first] ii xor not] +[same-sign [first] ii _\/_ not] [extract-sign [uncons] dip rest] [add-like-bigints extract-sign add-digits cons] @@ -47,8 +47,8 @@ clear [_btlc0.4 [uncons-two] [dipd] sandwich] [_btlc0 _btlc0.3 _btlc0.4] [_btlc1 [[ifte] ccons [P'] swons [P] swap] dip] -[P [bool] ii & not] -[P' [bool] ii |] +[P [bool] ii /\ not] +[P' [bool] ii \/] [carry [] [1 swons] branch] @@ -59,7 +59,7 @@ clear [check-gt [gt-bigint] [swap [not] dipd] [] ifte] [gt-bigint <<{} [_gtb_P] [_gtb_BASE] [_gtb_R1] tailrec] [_gtb_R1 uncons-two [unit cons swons] dipd] -[_gtb_P [bool] ii & not] +[_gtb_P [bool] ii /\ not] [_gtb_BASE [bool] [popop pop true] [_gtb_BASE'] ifte] [_gtb_BASE' [pop bool] [popop pop false] [popop compare-pairs] ifte]