dart-sdk/docs/language/informal
Erik Ernst 649c4e6c85 Revised all spec occurrences of "dynamic error"/"dynamic type error"
.. and checked that they can occur also in Dart 2; added a comment
about why this is so, on each of them. Also, got rid of the term
"run-time error": the majority of references to errors at run time
were "dynamic error", and now that is the term used everywhere.

Cf. https://github.com/dart-lang/sdk/issues/34521.

Change-Id: I7579c84a8d52199524770fb91c64804173ed533d
Reviewed-on: https://dart-review.googlesource.com/c/90243
Reviewed-by: Lasse R.H. Nielsen <lrn@google.com>
2019-01-21 12:56:31 +00:00
..
assert-in-initializer-list.md Adjusted status indications on feature specs 2018-01-16 13:22:28 +00:00
covariant-from-class.md Integrated covariant parameter feature specs. 2018-11-22 13:07:59 +00:00
covariant-overrides.md Integrated covariant parameter feature specs. 2018-11-22 13:07:59 +00:00
dynamic-members.md Integrated dynamic-members.md 2018-11-14 16:02:48 +00:00
extreme-upper-lower-bounds.md Updated the status of each feature specification as needed 2018-09-07 07:03:52 +00:00
generalized-void.md Integrated generalized-void.md into dartLangSpec.tex 2018-12-21 18:33:19 +00:00
generic-function-instantiation.md Integrating generic-function-instantiation.md into dartLangSpec.tex 2019-01-17 14:59:18 +00:00
generic-function-type-alias.md Added specification of new style function types, generalized typedefs 2019-01-11 13:54:07 +00:00
generic-method-syntax.md Extending dartLangSpec.tex with super-bounded types and variance. 2018-06-05 15:23:06 +00:00
implicit-creation.md Updated the status of each feature specification as needed 2018-09-07 07:03:52 +00:00
instantiate-to-bound.md Corrected instantiate-to-bound.md. 2018-12-07 09:25:17 +00:00
int-to-double.md Fix typo in int-to-double.md 2018-09-12 12:47:15 +00:00
int64.md TBR: Added a missing status update to the int64.md feature specification. 2018-11-22 15:31:29 +00:00
interface-conflicts.md Integrated covariant parameter feature specs. 2018-11-22 13:07:59 +00:00
invalid_returns.md Integrated invalid_returns.md 2018-12-17 15:01:46 +00:00
mixin-declaration.md Fix dead link in mixin-declaration 2018-11-02 14:16:10 +00:00
mixin-inference.md Updated the status of each feature specification as needed 2018-09-07 07:03:52 +00:00
nosuchmethod-forwarding.md Integrated nosuchmethod-forwarding.md into dartLangSpec.tex 2018-10-10 13:35:50 +00:00
optional-new-const.md Adjusted status indications on feature specs 2018-01-16 13:22:28 +00:00
README.md Updated the status of each feature specification as needed 2018-09-07 07:03:52 +00:00
subtyping.md Revised all spec occurrences of "dynamic error"/"dynamic type error" 2019-01-21 12:56:31 +00:00
super-bounded-types.md Bounds of a generic type alias ensure the body is regular-bounded 2018-10-24 10:32:38 +00:00

This directory contains feature specifications.

Note: This directory contains older feature specifications, new ones should be submitted to the language repository here.

The existing feature specifications in this directory will have their status updated as we proceed, and in particular each of them will become 'background' material as it is integrated into the language specification. When all feature specifications in this directory (that is, all other files than this one) have become background material, this directory will serve only as documentation for the process whereby each feature was designed and the associated motivation.

That said, the following section contains a few words about what a feature specification is, and how it can be used.

What is a Feature Specification?

In order to move faster and get better feedback, we implement and iterate on language changes before the full official specification has been written. Still, the implementers need something to go on.

For that, the language team writes feature specifications. These are intended to be precise enough for a good faith implementer to correctly understand the syntax and semantics of the language, but when the contents of a feature specification is integrated into the language specification we expect the extra processing to give rise to additional clarifications and corrections, which means that a feature specification is expected to be nearly as complete and correct as the language specification.