Better typing and type verification

src/compiler/pipeline.h

Index: src/compiler/pipeline.h
diff --git a/src/compiler/pipeline.h b/src/compiler/pipeline.h
index fce0952c4170b9b213fe1154c0416fee1295a990..0f90d05f2a8db4edaefd10a51338ecd953b7dbdc 100644
--- a/src/compiler/pipeline.h
+++ b/src/compiler/pipeline.h
@@ -8,6 +8,7 @@
 #include "src/v8.h"
 
 #include "src/compiler.h"
+#include "src/compiler/verifier.h"
 
 // Note: TODO(turbofan) implies a performance improvement opportunity,
 //   and TODO(name) implies an incomplete implementation
@@ -54,7 +55,8 @@ class Pipeline {
   Zone* zone() { return info_->zone(); }
 
   Schedule* ComputeSchedule(Graph* graph);
-  void VerifyAndPrintGraph(Graph* graph, const char* phase);
+  void VerifyAndPrintGraph(Graph* graph, const char* phase,
+                           Verifier::Typing = Verifier::TYPED);
   Handle<Code> GenerateCode(Linkage* linkage, Graph* graph, Schedule* schedule,
                             SourcePositionTable* source_positions);
 };