Add support for the new function-type syntax.

pkg/front_end/lib/src/fasta/analyzer/ast_builder.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 fasta.analyzer.ast_builder;
 
 import 'package:analyzer/analyzer.dart';
 import 'package:analyzer/dart/ast/ast_factory.dart' show AstFactory;
 import 'package:analyzer/dart/ast/standard_ast_factory.dart' as standard;
 import 'package:analyzer/dart/ast/token.dart' as analyzer show Token;
@@ skipping 421 matching lines @@
   void endLiteralSymbol(Token hashToken, int identifierCount) {
     debugEvent("LiteralSymbol");
     List<analyzer.Token> components = new List<analyzer.Token>(identifierCount);
     for (int i = identifierCount - 1; i >= 0; i--) {
       SimpleIdentifier identifier = pop();
       components[i] = identifier.token;
     }
     push(ast.symbolLiteral(toAnalyzerToken(hashToken), components));
   }
 
-  void endType(Token beginToken, Token endToken) {
+  void handleType(Token beginToken, Token endToken) {
     debugEvent("Type");
     TypeArgumentList arguments = pop();
     Identifier name = pop();
     // TODO(paulberry,ahe): what if the type doesn't resolve to a class
     // element?
     KernelClassElement cls = name.staticElement;
     if (cls == null) {
       // TODO(paulberry): This is a kludge.  Ideally we should already have
       // set the static element at the time that handleIdentifier was called.
       Builder builder = scope.lookup(name.name, beginToken.charOffset, uri);
@@ skipping 637 matching lines @@
     debugEvent("Member");
   }
 
   @override
   void handleVoidKeyword(Token token) {
     debugEvent("VoidKeyword");
     // TODO(paulberry): is this sufficient, or do we need to hook the "void"
     // keyword up to an element?
     handleIdentifier(token);
     handleNoTypeArguments(token);
-    endType(token, token);
+    handleType(token, token);
   }
 
   @override
-  void endFunctionTypeAlias(Token typedefKeyword, Token endToken) {
+  void endFunctionTypeAlias(
+      Token typedefKeyword, Token equals, Token endToken) {
     debugEvent("FunctionTypeAlias");
-    FormalParameterList parameters = pop();
-    TypeParameterList typeParameters = pop();
-    SimpleIdentifier name = pop();
-    TypeAnnotation returnType = pop();
-    List<Annotation> metadata = pop();
-    // TODO(paulberry): capture doc comments.  See dartbug.com/28851.
-    Comment comment = null;
-    push(ast.functionTypeAlias(
-        comment,
-        metadata,
-        toAnalyzerToken(typedefKeyword),
-        returnType,
-        name,
-        typeParameters,
-        parameters,
-        toAnalyzerToken(endToken)));
+    if (equals == null) {
+      FormalParameterList parameters = pop();
+      TypeParameterList typeParameters = pop();
+      SimpleIdentifier name = pop();
+      TypeAnnotation returnType = pop();
+      List<Annotation> metadata = pop();
+      // TODO(paulberry): capture doc comments.  See dartbug.com/28851.
+      Comment comment = null;
+      push(ast.functionTypeAlias(
+          comment,
+          metadata,
+          toAnalyzerToken(typedefKeyword),
+          returnType,
+          name,
+          typeParameters,
+          parameters,
+          toAnalyzerToken(endToken)));
+    } else {
+      TypeAnnotation type = pop();
+      TypeParameterList templateParameters = pop();
+      SimpleIdentifier name = pop();
+      List<Annotation> metadata = pop();
+      // TODO(paulberry): capture doc comments.  See dartbug.com/28851.
+      Comment comment = null;
+      if (type is! GenericFunctionType) {
+        // TODO(brianwilkerson) Generate an error and recover (better than

[Paul Berry, 2017/02/22 19:28:36]

Feel free to assign this TODO to me.

[floitsch, 2017/02/23 12:15:19]

Done.

+        // this).
+        type = null;
+      }
+      push(ast.genericTypeAlias(
+          comment,
+          metadata,
+          toAnalyzerToken(typedefKeyword),
+          name,
+          templateParameters,
+          toAnalyzerToken(equals),
+          type,
+          toAnalyzerToken(endToken)));
+    }
   }
 
   /**
    * Pop the modifiers list, if the list is empty return `null`, if the list
    * has one item return it; otherwise return `null`.
    */
   Token _popOptionalSingleModifier() {
     List<Token> modifiers = pop();
     if (modifiers.length == 0) {
       return null;
@@ skipping 31 matching lines @@
 /// [ClassDeclaration] or [ClassTypeAlias] object.
 class _MixinApplication {
   final TypeName supertype;
 
   final Token withKeyword;
 
   final List<TypeName> mixinTypes;
 
   _MixinApplication(this.supertype, this.withKeyword, this.mixinTypes);
 }