Add support for the new function-type syntax.

pkg/compiler/lib/src/kernel/kernel_visitor.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.md file.
 
 import 'package:kernel/ast.dart' as ir;
 import 'package:kernel/frontend/accessors.dart'
     show
         Accessor,
         IndexAccessor,
         NullAwarePropertyAccessor,
@@ skipping 85 matching lines @@
         DoWhile,
         DottedName,
         EmptyStatement,
         Enum,
         Expression,
         ExpressionStatement,
         For,
         ForIn,
         FunctionDeclaration,
         FunctionExpression,
+        FunctionTypeAnnotation,
         Identifier,
         If,
         Label,
         LabeledStatement,
         LiteralBool,
         LiteralDouble,
         LiteralInt,
         LiteralList,
         LiteralMap,
         LiteralMapEntry,
         LiteralNull,
         LiteralString,
         LiteralSymbol,
         Metadata,
         NamedArgument,
         NewExpression,
         Node,
         NodeList,
+        NominalTypeAnnotation,
         Operator,
         ParenthesizedExpression,
         RedirectingFactoryBody,
         Rethrow,
         Return,
         Send,
         SendSet,
         Statement,
         StringInterpolation,
         StringInterpolationPart,
@@ skipping 946 matching lines @@
     }
     if (node.finallyBlock != null) {
       result =
           new ir.TryFinally(result, buildStatementInBlock(node.finallyBlock));
     }
     return buildBreakTarget(result, node, elements.getTargetDefinition(node));
   }
 
   @override
   visitTypeAnnotation(TypeAnnotation node) {
     // Shouldn't be called, as the resolver have already resolved types and

[Johnni Winther, 2017/01/02 12:46:53]

As below.

[floitsch, 2017/01/02 13:48:48]

Done.

     // created [DartType] objects.
     return internalError(node, "TypeAnnotation");
   }
 
   @override
+  visitNominalTypeAnnotation(NominalTypeAnnotation node) {
+    // Shouldn't be called, as the resolver have already resolved types and

[Johnni Winther, 2017/01/02 12:46:53]

'have' -> 'has'

[floitsch, 2017/01/02 13:48:48]

Done.

+    // created [DartType] objects.
+    return internalError(node, "NominalTypeAnnotation");
+  }
+
+  @override
+  visitFunctionTypeAnnotation(FunctionTypeAnnotation node) {
+    // Shouldn't be called, as the resolver have already resolved types and

[Johnni Winther, 2017/01/02 12:46:53]

ditto

[floitsch, 2017/01/02 13:48:48]

Done.

+    // created [DartType] objects.
+    return internalError(node, "FunctionTypeAnnotation");
+  }
+
+  @override
   visitTypeVariable(TypeVariable node) {
     // Shouldn't be called, as the resolver have already resolved types and

[floitsch, 2017/01/02 13:48:48]

done.

     // created [DartType] objects.
     return internalError(node, "TypeVariable");
   }
 
   @override
   ir.Statement visitWhile(While node) {
     ir.Expression condition = visitForValue(node.condition);
     JumpTarget jumpTarget = elements.getTargetDefinition(node);
     ir.Statement body =
         buildContinueTarget(buildStatementInBlock(node.body), node, jumpTarget);
@@ skipping 1746 matching lines @@
       : this(null, true, node, initializers);
 
   accept(ir.Visitor v) => throw "unsupported";
 
   visitChildren(ir.Visitor v) => throw "unsupported";
 
   String toString() {
     return "IrFunction($kind, $isConstructor, $node, $initializers)";
   }
 }