| commit | 640791c92288a29f8cfff68d9643cb0218190574 | [log] [tgz] |
|---|---|---|
| author | Erik Ernst <eernst@google.com> | Mon May 28 10:12:34 2018 +0000 |
| committer | commit-bot@chromium.org <commit-bot@chromium.org> | Mon May 28 10:12:34 2018 +0000 |
| tree | b961e4cc8c05b5da0d9829e31adfed5a1db9d787 | |
| parent | 53cd0b4af1f0b456f2999ca806668a5af5b16da3 [diff] |
Add example to docs/language/informal/super-bounded-types.md. This CL adds an example to super-bounded-types.md in order to motivate the definition of what it means for a parameterized type based on a type alias to be super-bounded. The definition says that we must check the actual type arguments relative to the formal type parameter list of the given `typedef` as well as the right hand side, replacing the formals by the given actual type arguments. The example shows that the right hand side can be ill-bounded even though the check that we apply based on the formal type parameter bounds (that is, the check that we apply to class types) succeeds. A rendered version of super-bounded-types.md corresponding to patchset 6 is available here: https://gist.github.com/eernstg/fc12eeb23064a2578a936b443461dde4. Change-Id: I33dc6ced592f53160bc6f933558bfface46cd329 Reviewed-on: https://dart-review.googlesource.com/56668 Commit-Queue: Erik Ernst <eernst@google.com> Reviewed-by: Leaf Petersen <leafp@google.com>
Dart is an open-source, scalable programming language, with robust libraries and runtimes, for building web, server, and mobile apps.
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.
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.
The easiest way to contribute to Dart is to file issues.
You can also contribute patches, as described in Contributing.