From 2e5abd679235eeb4f574cee2078fbb845e3140fc Mon Sep 17 00:00:00 2001 From: Zelenya Date: Thu, 1 Oct 2026 19:49:36 -0700 Subject: [PATCH] Retime the weigh reference in memory footprint ch --- .../Core_Profiling/data_type_memory_footprint.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Measurement_Observation/Core_Profiling/data_type_memory_footprint.rst b/src/Measurement_Observation/Core_Profiling/data_type_memory_footprint.rst index 9686067..b3bcdcf 100644 --- a/src/Measurement_Observation/Core_Profiling/data_type_memory_footprint.rst +++ b/src/Measurement_Observation/Core_Profiling/data_type_memory_footprint.rst @@ -541,8 +541,8 @@ And here is our example program. a_word64 :: Word64 a_word64 = 1234 -We'll handle these in chunks beginning with a unit. Recall that in the -:ref:`Weigh Chapter ` a ``()`` was measured to be 0 allocations +We'll handle these in chunks beginning with a unit. In the +:ref:`Weigh Chapter `, we show that a ``()`` is measured to be 0 allocations because only one ``()`` exists in GHC and is shared for all references. But here we can see the truth: