From 0d2f14a8444eda4bf877d27a2fc049367a03796c Mon Sep 17 00:00:00 2001 From: Robert Stoll Date: Wed, 12 Jun 2019 07:21:43 +0200 Subject: [PATCH] Typo `such as` instead of `such` --- docs/docs/reference/new-types/type-lambdas-spec.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/new-types/type-lambdas-spec.md b/docs/docs/reference/new-types/type-lambdas-spec.md index e989d72ae2a4..f298301172fa 100644 --- a/docs/docs/reference/new-types/type-lambdas-spec.md +++ b/docs/docs/reference/new-types/type-lambdas-spec.md @@ -14,7 +14,7 @@ TypeBounds ::= [‘>:’ Type] [‘<:’ Type] ### Type Checking -A type lambda such `[X] =>> F[X]` defines a function from types to types. The parameter(s) may carry bounds and variance annotations. +A type lambda such as `[X] =>> F[X]` defines a function from types to types. The parameter(s) may carry bounds and variance annotations. If a parameter is is bounded, as in `[X >: L <: H] =>> F[X]` it is checked that arguments to the parameters conform to the bounds `L` and `H`. Only the upper bound `H` can be F-bounded, i.e. `X` can appear in it.