From 157f64af7070d312f06d0539115da2be11754b6c Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Sun, 22 Sep 2024 14:32:49 +0200
Subject: Some hacking

---
 src/Interpreter/Rep.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Interpreter/Rep.hs')

diff --git a/src/Interpreter/Rep.hs b/src/Interpreter/Rep.hs
index 680196c..aa2fcc9 100644
--- a/src/Interpreter/Rep.hs
+++ b/src/Interpreter/Rep.hs
@@ -19,7 +19,7 @@ type family Rep t where
   Rep (TScal sty) = ScalRep sty
   Rep (TAccum t) = RepAcSparse t
 
--- Mutable, and has an O(1) zero.
+-- Mutable, and has a zero. The zero may not be O(1), but RepAcSparse (D2 t) will have an O(1) zero.
 type family RepAcSparse t where
   RepAcSparse TNil = ()
   RepAcSparse (TPair a b) = IORef (RepAcDense (TPair a b))
-- 
cgit v1.2.3-70-g09d2