Update rts.gc.mjs

tweag · Feb 14, 2020 · 2beeb44 · 2beeb44
1 parent 77b5080
commit 2beeb44
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/asterius/rts/rts.gc.mjs b/asterius/rts/rts.gc.mjs
@@ -94,6 +94,14 @@ export class GC {
     Object.freeze(this);
   }
 
+  /**
+   * Stores the given closure in the remembered set.
+   * @param c The mutated closure
+   */
+  recordMutated(c) {
+    // TODO: stub
+  }
+
   /**
    * Checks whether the provided memory address resides
    * in a pinned MBlock. Used by {@link GC#evacuateClosure}