Index: src/Common/Debug.h
===================================================================
--- src/Common/Debug.h	(revision 9d1e3f75d320ba7456c59ec8700423ad2c448c0a)
+++ src/Common/Debug.h	(revision 5f08961d04c47678910366c75e15d9ab91808630)
@@ -37,5 +37,13 @@
 
 		std::cerr << "======" << label << "======" << std::endl;
-		CodeGen::generate( decls, std::cerr, true, true );
+		CodeGen::generate(
+			decls,
+			std::cerr,
+			true /* doIntrinsics */,
+			true /* pretty */,
+			false /* generateC */,
+			false /* lineMarks */,
+			true /* printTypeExpr */
+		);
 	#endif
 	} // dump