From 3e15b67d329618b261b47b3939f330bb8ecf830a Mon Sep 17 00:00:00 2001 From: Vijay Menon Date: Tue, 10 Dec 2019 22:53:26 +0000 Subject: [PATCH] [dartdevc] add forwarding from old docs to new info Fixes https://github.com/dart-lang/sdk/issues/38984 Change-Id: Ic8ef8838b0a8c3233bf94706b243cdd9aedacbc1 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/127963 Reviewed-by: Bob Nystrom Reviewed-by: Kathy Walrath Commit-Queue: Kathy Walrath --- pkg/dev_compiler/STRONG_MODE.md | 4 ++++ pkg/dev_compiler/doc/GENERIC_METHODS.md | 5 ++++- pkg/dev_compiler/doc/JS_CODEGEN.md | 3 +++ pkg/dev_compiler/doc/STATIC_SAFETY.md | 3 +++ 4 files changed, 14 insertions(+), 1 deletion(-) diff --git a/pkg/dev_compiler/STRONG_MODE.md b/pkg/dev_compiler/STRONG_MODE.md index 5a837474be6..0a424f7a39c 100644 --- a/pkg/dev_compiler/STRONG_MODE.md +++ b/pkg/dev_compiler/STRONG_MODE.md @@ -1,5 +1,9 @@ # Strong Mode +**Note: This document is out of date. Please see [Sound Dart](https://dart.dev/guides/language/sound-dart) for up-to-date +documentation on Dart's type system. The work below was a precursor towards Dart's current type system.** + + Strong mode applies a more restrictive type system to Dart to address its unsound, surprising behavior in certain cases. Strong mode helps with: diff --git a/pkg/dev_compiler/doc/GENERIC_METHODS.md b/pkg/dev_compiler/doc/GENERIC_METHODS.md index 0edde25aaa9..f57d127791e 100644 --- a/pkg/dev_compiler/doc/GENERIC_METHODS.md +++ b/pkg/dev_compiler/doc/GENERIC_METHODS.md @@ -1,6 +1,9 @@ # Using Generic Methods -**Note: For historical reasons, this feature is called "generic methods", but it +**Note: This document is out of date. Please see [Sound Dart](https://dart.dev/guides/language/sound-dart) for up-to-date +documentation on Dart's type system. The work below was a precursor towards Dart's current type system. + +For historical reasons, this feature is called "generic methods", but it applies equally well to instance methods, static methods, top-level functions, local functions, and even lambda expressions.** diff --git a/pkg/dev_compiler/doc/JS_CODEGEN.md b/pkg/dev_compiler/doc/JS_CODEGEN.md index fa0669a18a9..11b9b8f1206 100644 --- a/pkg/dev_compiler/doc/JS_CODEGEN.md +++ b/pkg/dev_compiler/doc/JS_CODEGEN.md @@ -1,5 +1,8 @@ # Strong Mode and Idiomatic JavaScript +**Note: This document is out of date. Please see [Sound Dart](https://dart.dev/guides/language/sound-dart) for up-to-date +documentation on Dart's type system. The work below was a precursor towards Dart's current type system.** + The Dart Dev Compiler (DDC) uses [Strong Mode](STRONG_MODE.md) to safely generate idiomatic JavaScript. This enables better interoperability between Dart and JavaScript code. diff --git a/pkg/dev_compiler/doc/STATIC_SAFETY.md b/pkg/dev_compiler/doc/STATIC_SAFETY.md index adafc4e127e..8cddbf55b3e 100644 --- a/pkg/dev_compiler/doc/STATIC_SAFETY.md +++ b/pkg/dev_compiler/doc/STATIC_SAFETY.md @@ -1,5 +1,8 @@ # Strong Mode Static Checking +**Note: This document is out of date. Please see [Sound Dart](https://dart.dev/guides/language/sound-dart) for up-to-date +documentation on Dart's type system. The work below was a precursor towards Dart's current type system.** + ## Overview The Dart programming language has an optional, unsound type system. Although it is similar in appearance to languages such as Java, C#, or C++, its type system and static checking are fundamentally different. It permits erroneous behavior in ways that may be surprising to programmers coming from those and other conventional typed languages.