Index: src/SymTab/Validate.cc
===================================================================
--- src/SymTab/Validate.cc	(revision 02e5ab617410cc0bcf5ec7f06346d0a740096d7c)
+++ src/SymTab/Validate.cc	(revision 1cbca6e153ee9b6e6d883a6d517fe9cb3d2873ad)
@@ -54,4 +54,5 @@
 #include "MakeLibCfa.h"
 #include "TypeEquality.h"
+#include "ResolvExpr/typeops.h"
 
 #define debugPrint( x ) if ( doDebug ) { std::cout << x; }
@@ -851,5 +852,5 @@
 			Type * t1 = tyDecl->get_base();
 			Type * t2 = typedefNames[ tyDecl->get_name() ].first->get_base();
-			if ( ! typeEquals( t1, t2, true ) ) {
+			if ( ! ResolvExpr::typesCompatible( t1, t2, Indexer() ) ) {
 				throw SemanticError( "cannot redefine typedef: " + tyDecl->get_name() );
 			}