Index: src/SynTree/Expression.cc
===================================================================
--- src/SynTree/Expression.cc	(revision 22f94a4397386dcee79764eace3e5c71e0455838)
+++ src/SynTree/Expression.cc	(revision c2bc6d5b5902ae7b09fe4248702eae9f7265d2a2)
@@ -69,4 +69,10 @@
 void Expression::print( std::ostream & os, Indenter indent ) const {
 	printInferParams( inferParams, os, indent+1, 0 );
+
+	if ( result ) {
+		os << std::endl << indent << "with resolved type:" << std::endl;
+		os << (indent+1);
+		result->print( os, indent+1 );
+	}
 
 	if ( env ) {