From 91af05007ec3232af5204e8c238bcd05b116d53a Mon Sep 17 00:00:00 2001 From: ysthakur <45539777+ysthakur@users.noreply.github.com> Date: Thu, 15 Oct 2020 19:59:34 -0400 Subject: [PATCH] Remove deprecated docs and links to them (#1) * Use new links Right now, there are multiple features with links that just say "The contents of this page have moved." It'd be more convenient if the links directly went to the updated pages. * Delete implicit-function-types-spec.md * Delete implicit-function-types.md * Delete delegates.md * Delete given-clauses.md * Update features-classification.md --- docs/_includes/features.html | 6 +++--- docs/docs/reference/contextual/delegates.md | 6 ------ docs/docs/reference/contextual/given-clauses.md | 7 ------- .../reference/contextual/implicit-function-types-spec.md | 7 ------- docs/docs/reference/contextual/implicit-function-types.md | 6 ------ docs/docs/reference/features-classification.md | 4 ++-- 6 files changed, 5 insertions(+), 31 deletions(-) delete mode 100644 docs/docs/reference/contextual/delegates.md delete mode 100644 docs/docs/reference/contextual/given-clauses.md delete mode 100644 docs/docs/reference/contextual/implicit-function-types-spec.md delete mode 100644 docs/docs/reference/contextual/implicit-function-types.md diff --git a/docs/_includes/features.html b/docs/_includes/features.html index f8ef3d484bc6..0396d7278f0f 100644 --- a/docs/_includes/features.html +++ b/docs/_includes/features.html @@ -21,7 +21,7 @@

So, features?

Implemented - Context query + Context query Implemented @@ -29,11 +29,11 @@

So, features?

Implemented - Implied Instances + Implied Instances Implemented - Inferable parameters + Inferable parameters Implemented diff --git a/docs/docs/reference/contextual/delegates.md b/docs/docs/reference/contextual/delegates.md deleted file mode 100644 index ea5ffcfee205..000000000000 --- a/docs/docs/reference/contextual/delegates.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -layout: doc-page -title: "Given Instances" ---- - -The contents of this page have [moved](./givens.md). diff --git a/docs/docs/reference/contextual/given-clauses.md b/docs/docs/reference/contextual/given-clauses.md deleted file mode 100644 index 85a691e55bbe..000000000000 --- a/docs/docs/reference/contextual/given-clauses.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -layout: doc-page -title: "Given Parameters" ---- - -The contents of this page have [moved](./using-clauses.md). - diff --git a/docs/docs/reference/contextual/implicit-function-types-spec.md b/docs/docs/reference/contextual/implicit-function-types-spec.md deleted file mode 100644 index 5bceb18649af..000000000000 --- a/docs/docs/reference/contextual/implicit-function-types-spec.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -layout: doc-page -title: "Implicit Function Types - More Details" ---- - -The contents of this page have [moved](./context-functions-spec.md). - diff --git a/docs/docs/reference/contextual/implicit-function-types.md b/docs/docs/reference/contextual/implicit-function-types.md deleted file mode 100644 index 1507a3d46559..000000000000 --- a/docs/docs/reference/contextual/implicit-function-types.md +++ /dev/null @@ -1,6 +0,0 @@ ---- -layout: doc-page -title: "Implicit Function Types" ---- - -The contents of this page have [moved](./context-functions.md). diff --git a/docs/docs/reference/features-classification.md b/docs/docs/reference/features-classification.md index c0018549ac27..459370613f62 100644 --- a/docs/docs/reference/features-classification.md +++ b/docs/docs/reference/features-classification.md @@ -20,7 +20,7 @@ These new constructs directly model core features of DOT, higher-kinded types, a - [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. **Status: essential** @@ -199,4 +199,4 @@ Some existing programs will break and, given the complex nature of type inferenc In our experience, macros and changes in type and implicit argument inference together cause the large majority of problems encountered when porting existing code to Scala 3. The latter source of problems could be addressed systematically by a tool that added all inferred types and implicit arguments to a Scala 2 source code file. Most likely such a tool would be implemented as a Scala 2 compiler plugin. The resulting code would have a greatly increased likelihood to compile under Scala 3, but would often be bulky to the point of being unreadable. A second part of the rewriting tool should then selectively and iteratively remove type and implicit annotations that were synthesized by the first part as long as they compile under Scala 3. This second part could be implemented as a program that invokes the Scala 3 compiler `scalac` programmatically. -Several people have proposed such a tool for some time now. I believe it is time we find the will and the resources to actually implement it. \ No newline at end of file +Several people have proposed such a tool for some time now. I believe it is time we find the will and the resources to actually implement it.