From 9191219b0f5904458b71e0ae7a6382d4c550d2ca Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Mon, 13 Jan 2025 15:17:25 -0800 Subject: Remove over-strong assert --- chapter18/src/main/java/com/seaofnodes/simple/node/StoreNode.java | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'chapter18/src/main/java/com') diff --git a/chapter18/src/main/java/com/seaofnodes/simple/node/StoreNode.java b/chapter18/src/main/java/com/seaofnodes/simple/node/StoreNode.java index ee6832ad..6032de48 100644 --- a/chapter18/src/main/java/com/seaofnodes/simple/node/StoreNode.java +++ b/chapter18/src/main/java/com/seaofnodes/simple/node/StoreNode.java @@ -92,9 +92,10 @@ public class StoreNode extends MemOpNode { // Folding away a broken store err()==null ) { nnn.setDef(nnn.findAlias(_alias),val()); - // Must retype the NewNode - nnn .setType(nnn .compute()); - mem().setType(mem().compute()); + // Must *retype* the NewNode, this is not monotonic in isolation + // but is monotonic counting from this Store to the New. + nnn ._type = nnn .compute(); + mem()._type = mem().compute(); return mem(); } -- cgit v1.2.3