From c521b39e55e4d03b9eb5fe841907943e1ee2e706 Mon Sep 17 00:00:00 2001 From: Robert Stoll Date: Sun, 3 May 2020 16:19:24 +0200 Subject: [PATCH 1/4] doc(ovierview): update to context functions --- docs/docs/reference/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/overview.md b/docs/docs/reference/overview.md index d333a71e8933..1a745b6aee48 100644 --- a/docs/docs/reference/overview.md +++ b/docs/docs/reference/overview.md @@ -24,7 +24,7 @@ These new constructs directly model core features of DOT, higher-kinded types, a - [Intersection types](new-types/intersection-types.md), replacing compound types, - [Union types](new-types/union-types.md), - [Type lambdas](new-types/type-lambdas.md), replacing encodings using structural types and type projection. - - [Implicit Function Types](contextual/implicit-function-types.md), offering abstraction over given parameters. + - [Context Functions](contextual/context-functions.md), offering abstraction over given parameters. ## Simplifications From 83cc581c4d7fad6db3639d0753a389565830e0d6 Mon Sep 17 00:00:00 2001 From: Robert Stoll Date: Sun, 3 May 2020 16:21:49 +0200 Subject: [PATCH 2/4] doc(overview): link directly to given --- docs/docs/reference/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/overview.md b/docs/docs/reference/overview.md index 1a745b6aee48..3625acf3d0ec 100644 --- a/docs/docs/reference/overview.md +++ b/docs/docs/reference/overview.md @@ -31,7 +31,7 @@ These new constructs directly model core features of DOT, higher-kinded types, a These constructs replace existing constructs with the aim of making the language safer and simpler to use, and to promote uniformity in code style. - [Trait Parameters](other-new-features/trait-parameters.md) replace [early initializers](dropped-features/early-initializers.md) with a more generally useful construct. - - [Given Instances](contextual/delegates.md) + - [Given Instances](contextual/givens.md) replace implicit objects and defs, focussing on intent over mechanism. - [Using Clauses](contextual/using-clauses.md) replace implicit parameters, avoiding their ambiguities. - [Extension Methods](contextual/extension-methods.md) replace implicit classes with a clearer and simpler mechanism. From 1f18dacfc9f9226a169c1aa8586815036a992997 Mon Sep 17 00:00:00 2001 From: Robert Stoll Date: Sun, 3 May 2020 16:26:04 +0200 Subject: [PATCH 3/4] doc(overview): link directly to given-imports --- docs/docs/reference/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/overview.md b/docs/docs/reference/overview.md index 3625acf3d0ec..3ce3797ad98f 100644 --- a/docs/docs/reference/overview.md +++ b/docs/docs/reference/overview.md @@ -55,7 +55,7 @@ Value classes (superseded by opaque type aliases) are a special case. There are These constructs are restricted to make the language safer. - [Implicit Conversions](contextual/conversions.md): there is only one way to define implicit conversions instead of many, and potentially surprising implicit conversions require a language import. - - [Given Imports](contextual/import-delegate.md): implicits now require a special form of import, to make the import clearly visible. + - [Given Imports](contextual/given-imports.md): implicits now require a special form of import, to make the import clearly visible. - [Type Projection](dropped-features/type-projection.md): only classes can be used as prefix `C` of a type projection `C#A`. Type projection on abstract types is no longer supported since it is unsound. - [Multiversal Equality](contextual/multiversal-equality.md) implements an "opt-in" scheme to rule out nonsensical comparisons with `==` and `!=`. - [@infix and @alpha](https://github.com/lampepfl/dotty/pull/5975) From ea6385b3128ad155a97bfa9cfcab9bc2416a87de Mon Sep 17 00:00:00 2001 From: Robert Stoll Date: Sun, 3 May 2020 17:44:13 +0200 Subject: [PATCH 4/4] doc(overview): link to @alpha/@infix in doc --- docs/docs/reference/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/overview.md b/docs/docs/reference/overview.md index 3ce3797ad98f..566156b01d50 100644 --- a/docs/docs/reference/overview.md +++ b/docs/docs/reference/overview.md @@ -58,7 +58,7 @@ These constructs are restricted to make the language safer. - [Given Imports](contextual/given-imports.md): implicits now require a special form of import, to make the import clearly visible. - [Type Projection](dropped-features/type-projection.md): only classes can be used as prefix `C` of a type projection `C#A`. Type projection on abstract types is no longer supported since it is unsound. - [Multiversal Equality](contextual/multiversal-equality.md) implements an "opt-in" scheme to rule out nonsensical comparisons with `==` and `!=`. - - [@infix and @alpha](https://github.com/lampepfl/dotty/pull/5975) + - [@infix and @alpha](changed-features/operators.md) make method application syntax uniform across code bases and require alphanumeric aliases for all symbolic names (proposed, not implemented). Unrestricted implicit conversions continue to be available in Scala 3.0, but will be deprecated and removed later. Unrestricted versions of the other constructs in the list above are available only under `-source 3.0-migration`.