eernstg

This document is now obsolete, please refer to the current version.

Feature: Generic Method Syntax

This document is an informal specification of the support for generic methods and functions which has been implemented in dart2js with option --generic-method-syntax, starting with commit acc5f59. In SDK 1.21 this feature is available by default (i.e., also without the option) in the virtual machine and the analyzer, as well as in dart2js.

The motivation for having this feature is that it enables partial support for generic methods and functions, thus providing a bridge between not having generic methods and having full support for generic methods. In particular, code declaring and using generic methods may be type checked and compiled in strong mode, and the same code will now be acceptable in standard (non-

eernstg

This document is now obsolete, please refer to the current version.

Feature: Generic Function Type Alias

Status: Under implementation.

This document is an informal specification of a feature supporting the definition of function type aliases using a more expressive syntax than the one available today, such that it also covers generic function types. The feature also introduces syntax for specifying function types directly, such

eernstg

diff --git a/reflectable/lib/mirrors.dart b/reflectable/lib/mirrors.dart
index 8d3cd64..09ece0e 100644
--- a/reflectable/lib/mirrors.dart
+++ b/reflectable/lib/mirrors.dart
@@ -719,6 +719,17 @@ abstract class TypeMirror implements DeclarationMirror {
   /// [TypeRelationsCapability].
   List<TypeMirror> get typeArguments;
 
+  /// An immutable list with [Type] values for the actual type arguments
+  /// of this type.

eernstg

Feature: Generic Constructors

Author: eernst@

Status: Under discussion.

Version: 0.1 (2017-11-24)

This document is an informal specification of the support in Dart 2 for generic constructors, that is, constructors that can receive their "own"

eernstg

The Dart Specification Parser

Author: eernst@

Version: 0.1

We have created a Dart specification parser, built on a grammar specification Dart.g, which is transformed into a working parser by the tool ANTLR v3, using a couple of helper files (in particular, spec_parse.py and spec_parser). This document gives a short introduction to what it is, and some motivations for why we have it, along with an outline of the consequences for the testing workflow when we have a specification parser.

Motivation

eernstg

Flattened Interfaces

Author: eernst@.

Version: 0.1 (2018-01-10)

Status: Under discussion.

This document is a feature specification of the notion of a flattened interface in Dart that generalizes the concept of an

eernstg

This document is now obsolete, please refer to the version in the SDK repository.

Informal Specification: Parameters that are Covariant due to Class Type Parameters

Owner: eernst@

Status: Implemented.

Version: 0.5 (2018-02-01)

eernstg

This document is now obsolete, please refer to the version in the SDK repository.

NoSuchMethod Forwarding

Author: eernst@

Status: Under implementation.

Version: 0.6 (2018-03-22)

eernstg

This document may be obsolete, or it may be a proposed new version; if in doubt please consider the version in the SDK repository (which may not yet exist).

Generic Function Instantiation

Author: eernst@.

Version: 0.3 (2018-04-05)

eernstg

bool b = false;

void doWork(int i) => print("Do work ($i)");
void bailOut(int i) => print("Bail out ($i)");

void acquire() => print("Acquire the resource");
void release() => print("Release the resource");
  

// Consider: We want to simplify the following control flow.