diff options
| -rw-r--r-- | 05-types.md | 2 | ||||
| -rw-r--r-- | 06-basic-declarations-and-definitions.md | 2 | ||||
| -rw-r--r-- | 10-pattern-matching.md | 2 | ||||
| -rw-r--r-- | 12-xml-expressions-and-patterns.md | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/05-types.md b/05-types.md index d1d2609797..3ffe103db2 100644 --- a/05-types.md +++ b/05-types.md @@ -644,7 +644,7 @@ union : [A >: Nothing <: Comparable[A]] (x: Set[A], xs: Set[A]) Set[A] . A type constructor is represented internally much like a polymorphic method type. `[$\pm$ $a_1$ >: $L_1$ <: $U_1 , \ldots , \pm a_n$ >: $L_n$ <: $U_n$] $T$` represents a type that is expected by a -[type constructor parameter](#type-params) or an +[type constructor parameter](#type-parameters) or an [abstract type constructor binding](#type-declarations-and-type-aliases) with the corresponding type parameter clause. diff --git a/06-basic-declarations-and-definitions.md b/06-basic-declarations-and-definitions.md index 175a5c71f0..6f3af4b590 100644 --- a/06-basic-declarations-and-definitions.md +++ b/06-basic-declarations-and-definitions.md @@ -617,7 +617,7 @@ followed by zero or more value parameter clauses introduces a value with a (possibly polymorphic) method type whose parameter types and result type are as given. -The type of the function body is expected to [conform](#expr-typing) +The type of the function body is expected to [conform](#expression-typing) to the function's declared result type, if one is given. If the function definition is not recursive, the result type may be omitted, in which case it is diff --git a/10-pattern-matching.md b/10-pattern-matching.md index 1e214a6e36..c9c4a733c2 100644 --- a/10-pattern-matching.md +++ b/10-pattern-matching.md @@ -214,7 +214,7 @@ the following applies: An `unapplySeq` method in an object $x$ matches the pattern $x(q_1 , \ldots , q_m, p_1 , \ldots , p_n)$ if it takes exactly one argument and its result type is of the form `Option[($T_1 , \ldots , T_m$, Seq[S])]` (if `m = 0`, the type `Option[Seq[S]]` is also accepted). -This case is further discussed [below](#pattern-seqs). +This case is further discussed [below](#pattern-sequences). ###### Example The `Predef` object contains a definition of an diff --git a/12-xml-expressions-and-patterns.md b/12-xml-expressions-and-patterns.md index 7707e91bae..03f9b4853b 100644 --- a/12-xml-expressions-and-patterns.md +++ b/12-xml-expressions-and-patterns.md @@ -8,7 +8,7 @@ layout: default __By Burak Emir__ This chapter describes the syntactic structure of XML expressions and patterns. -It follows as closely as possible the XML 1.0 specification \cite{w3c:xml}, +It follows as closely as possible the XML 1.0 specification, changes being mandated by the possibility of embedding Scala code fragments. ## XML expressions |