Index: src/CodeGen/GenType.cc
===================================================================
--- src/CodeGen/GenType.cc	(revision 85b2300ccd54c321b4c865c13260f2e58c5f83d7)
+++ src/CodeGen/GenType.cc	(revision c194661e377fb587400b93fef5a817d3d77ac641)
@@ -48,6 +48,8 @@
 		void postvisit( ZeroType * zeroType );
 		void postvisit( OneType * oneType );
+		void postvisit( GlobalScopeType * globalType );
 		void postvisit( TraitInstType * inst );
 		void postvisit( TypeofType * typeof );
+		void postvisit( QualifiedType * qualType );
 
 	  private:
@@ -291,4 +293,9 @@
 	}
 
+	void GenType::postvisit( GlobalScopeType * globalType ) {
+		assertf( ! genC, "Global scope type should not reach code generation." );
+		handleQualifiers( globalType );
+	}
+
 	void GenType::postvisit( TraitInstType * inst ) {
 		assertf( ! genC, "Trait types should not reach code generation." );
@@ -307,4 +314,12 @@
 	}
 
+	void GenType::postvisit( QualifiedType * qualType ) {
+		assertf( ! genC, "Qualified types should not reach code generation." );
+		std::ostringstream os;
+		os << genType( qualType->parent, "", pretty, genC, lineMarks ) << "." << genType( qualType->child, "", pretty, genC, lineMarks );
+		typeString = os.str();
+		handleQualifiers( qualType );
+	}
+
 	void GenType::handleQualifiers( Type * type ) {
 		if ( type->get_const() ) {
