From 8212a66ff27e56531e0b48807088f1c544d75756 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Mon, 28 Sep 2026 09:23:27 -0700 Subject: Check un-init not-null constructor fields Propagate BOT inputs; Arith, Load. CallEnd inlining, the FUnPtr dies early. Load asserts when loading against uninit not-null field. Keep not-nill state for storage class. Clean up Node.peep as constant. --- chapter25/docs/examples/BubbleSort.smp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'chapter25/docs') diff --git a/chapter25/docs/examples/BubbleSort.smp b/chapter25/docs/examples/BubbleSort.smp index ef92c29e..1b3b83e6 100644 --- a/chapter25/docs/examples/BubbleSort.smp +++ b/chapter25/docs/examples/BubbleSort.smp @@ -5,7 +5,7 @@ // Bubble sort, with reading (parsing) and writing (formatting) the data. val sort = { sys.aryi64 nums -> - var more = nums; + sys.aryi64?! more = nums; while( more ) { more = null; for( var i = 0; i < nums.len-1; i++ ) -- cgit v1.2.3