validate in binaryen shell and on wasm binaries, and fix type checking

1 files changed, 2 insertions, 1 deletions

diff --git a/src/wasm-s-parser.h b/src/wasm-s-parser.h
index 674341d1e..05715f739 100644
--- a/src/wasm-s-parser.h
+++ b/src/wasm-s-parser.h
@@ -424,10 +424,10 @@ private:
           if (!autoBlock) {
             autoBlock = allocator.alloc<Block>();
             autoBlock->list.push_back(body);
-            autoBlock->finalize();
             body = autoBlock;
           }
           autoBlock->list.push_back(ex);
+          autoBlock->finalize();
         }
       }
     }
@@ -1023,6 +1023,7 @@ private:
     } else {
       ret->value = parseExpression(s[i]);
     }
+    ret->finalize();
     return ret;
   }