Add Vector type to Kernel

pkg/kernel/lib/type_checker.dart

 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 library kernel.type_checker;
 
 import 'ast.dart';
 import 'class_hierarchy.dart';
 import 'core_types.dart';
 import 'type_algebra.dart';
 import 'type_environment.dart';
@@ skipping 672 matching lines @@
   DartType visitLoadLibrary(LoadLibrary node) {
     return environment.futureType(const DynamicType());
   }
 
   @override
   DartType visitCheckLibraryIsLoaded(CheckLibraryIsLoaded node) {
     return environment.objectType;
   }
 
   @override
+  DartType visitVectorGet(VectorGet node) {
+    var type = visitExpression(node.vectorExpression);
+    if (type is! VectorType) {
+      fail(
+          node.vectorExpression,
+          'The type of vector-expression in vector-get node is expected to be '
+          'VectorType, but $type found');
+    }
+    return const DynamicType();
+  }
+
+  @override
+  visitVectorSet(VectorSet node) {
+    var type = visitExpression(node.vectorExpression);
+    if (type is! VectorType) {
+      fail(
+          node.vectorExpression,
+          'The type of vector-expression in vector-set node is expected to be '
+          'VectorType, but $type found');
+    }
+    return visitExpression(node.value);
+  }
+
+  @override
+  visitVectorCopy(VectorCopy node) {
+    var type = visitExpression(node.vectorExpression);
+    if (type is! VectorType) {
+      fail(
+          node.vectorExpression,
+          'The type of vector-expression in vector-copy node is exected to be '
+          'VectorType, but $type found');
+    }
+    return const VectorType();
+  }
+
+  @override
+  DartType visitVectorCreation(VectorCreation node) {
+    return const VectorType();
+  }
+
+  @override
   visitAssertStatement(AssertStatement node) {
     visitExpression(node.condition);
     if (node.message != null) {
       visitExpression(node.message);
     }
   }
 
   @override
   visitBlock(Block node) {
     node.statements.forEach(visitStatement);
@@ skipping 199 matching lines @@
   }
 
   @override
   visitLocalInitializer(LocalInitializer node) {
     visitVariableDeclaration(node.variable);
   }
 
   @override
   visitInvalidInitializer(InvalidInitializer node) {}
 }