comments on whether we lose space due to lazy updates of the stack set

2025-08-01 12:41:53 -07:00 · 2007-03-09 08:16:21 +00:00
parent 11afb17966
commit 4d7af3b953
1 changed files with 5 additions and 0 deletions
--- a/StackSet.hs
+++ b/StackSet.hs
@@ -51,6 +51,11 @@ import qualified Data.IntMap   as I

 ------------------------------------------------------------------------

+--
+-- N.B we probably want to think about strict 'adjust' and inserts on
+-- these data structures in the long run.
+--
+
 -- | The StackSet data structure. A table of stacks, with a current pointer
 data StackSet a =
    StackSet