2 files changed, 12 insertions, 2 deletions
diff --git a/chapter11/src/main/java/com/seaofnodes/simple/node/StopNode.java b/chapter11/src/main/java/com/seaofnodes/simple/node/StopNode.java
index da32651a..fcd6d4ab 100644
--- a/chapter11/src/main/java/com/seaofnodes/simple/node/StopNode.java
+++ b/chapter11/src/main/java/com/seaofnodes/simple/node/StopNode.java
@@ -1,5 +1,7 @@
 package com.seaofnodes.simple.node;
 
+import com.seaofnodes.simple.Parser;
+
 import com.seaofnodes.simple.type.Type;
 import com.seaofnodes.simple.IterPeeps;
 
@@ -68,9 +70,15 @@ public class StopNode extends CFGNode {
     }
 
     public StopNode iterate() { return IterPeeps.iterate(this).typeCheck(); }
-    StopNode typeCheck() {
-        String err = walk( Node::err );
+    public StopNode typeCheck() {
+        var obs = Parser.PARSER == null ? null : Parser.PARSER._obs;
+        String err = walk(n -> {
+            String msg = n.err();
+            if( msg != null && obs != null ) obs.error(n, msg);
+            return msg;
+        });
         if( err != null ) throw new RuntimeException(err);
+        if( obs != null ) obs.phase("TypeCheck");
         return this;
     }
 
diff --git a/chapter11/src/main/java/com/seaofnodes/simple/print/SimpleGraphObserver.java b/chapter11/src/main/java/com/seaofnodes/simple/print/SimpleGraphObserver.java
index 622d927f..feb9e90f 100644
--- a/chapter11/src/main/java/com/seaofnodes/simple/print/SimpleGraphObserver.java
+++ b/chapter11/src/main/java/com/seaofnodes/simple/print/SimpleGraphObserver.java
@@ -25,6 +25,8 @@ public class SimpleGraphObserver extends GraphCapture<Node> {
         _phase = "Iter";
         com.seaofnodes.simple.IterPeeps.iterate(_parser.STOP);
         phase(_phase);
+        _phase = "TypeCheck";
+        _parser.STOP.typeCheck();
     }
     @Override protected String phase() { return _phase; }
     @Override protected int pos() { return "Parse".equals(_phase) ? _parser.pos() : -1; }