From ede0f4ce7f91bb2439c6385d9d3a2e91083a9ee2 Mon Sep 17 00:00:00 2001 From: gnp Date: Sat, 16 Feb 2019 11:12:03 -0800 Subject: [PATCH] Remove shift from 'X' and 'Y' to 'S' and 'T' as names for type parameters. --- docs/docs/reference/new-types/type-lambdas.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/reference/new-types/type-lambdas.md b/docs/docs/reference/new-types/type-lambdas.md index 9a382987dafe..311438a0c77c 100644 --- a/docs/docs/reference/new-types/type-lambdas.md +++ b/docs/docs/reference/new-types/type-lambdas.md @@ -10,7 +10,7 @@ a type definition. For instance, the type above defines a binary type constructor, with a covariant parameter `X` and a non-variant parameter `Y`. The -constructor maps arguments `S` and `T` to `Map[T, S]`. Type parameters +constructor maps arguments `X` and `Y` to `Map[Y, X]`. Type parameters of type lambdas can have variances and bounds. A parameterized type definition or declaration such as @@ -21,4 +21,4 @@ right-hand side: type T = [X] => (X, X) -[More details](./type-lambdas-spec.html) \ No newline at end of file +[More details](./type-lambdas-spec.html)