Erik Ernst
062e5d6db3
The discussion about SDK issue 31305 showed that the definition of covariant/contravariant/invariant occurrences need to be given somewhere, and also that covariant-from-class.md is a reasonable place to put it. This CL adds those definitions there, based on Leaf's proposal in the above-mentioned issue, and adjusts the definition of what it means to be a covariant parameter such that the case where the relevant type parameter occurs in the bound of a formal type parameter in a function type is taken into account. (It also reformats the document to stay within 80 columns and follow the style of newer informal specs more closely, but that should be easy to skip over because Gerrit colors white space changes differently from "real" changes). Change-Id: I0b0a688c616d0bb56755ceea08e1792abfa7936d Reviewed-on: https://dart-review.googlesource.com/23422 Commit-Queue: Erik Ernst <eernst@google.com> Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>
Dart
Dart is an open-source, scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps.
Using Dart
Visit the dartlang.org to learn more about the language, tools, getting started, and more.
Browse pub.dartlang.org for more packages and libraries contributed by the community and the Dart team.
Building Dart
If you want to build Dart yourself, here is a guide to getting the source, preparing your machine to build the SDK, and building.
There are more documents on our wiki.
Contributing to Dart
The easiest way to contribute to Dart is to file issues.
You can also contribute patches, as described in Contributing.