merged type re declared warning: ccb3aba

Author: uujava

src/org/mirah/typer/assignable_type_future.mirah

@@ -53,6 +53,12 @@ class AssignableTypeFuture < BaseTypeFuture
       self:TypeFuture
     else
       earlier_declarations = declarations.keySet.map{ |future: TypeFuture| future.resolve }
+      # TODO string comparison here is not the right call. ResolvedTypes should have good equals impls.
+      if earlier_declarations.all? { |r: ResolvedType| r.toString == type.resolve.toString }
+        first_type = @declarations.values.iterator.next
+        @@log.warning("Type redeclared with same type: #{earlier_declarations}. Use first type: #{first_type}")
+        return first_type:TypeFuture
+      end
       msg = "Type redeclared as #{type.resolve} from #{earlier_declarations}"
       @@log.finest(msg)
       declared_type_error = ErrorType.new([[msg, position], ['First declared', self.position]])