diff options
| author | Antoine Gourlay <antoine@gourlay.fr> | 2014-09-15 14:08:17 +0200 |
|---|---|---|
| committer | Antoine Gourlay <antoine@gourlay.fr> | 2014-09-17 13:40:10 +0200 |
| commit | d24ad908451e42925fe6be9995235bf2b4de1b39 (patch) | |
| tree | 11e881ecbf6698b292d126d1f10d051069d1ca1a /spec/03-types.md | |
| parent | 3b0c71df60a41e13e47ec9ae8dbc606e1928aba8 (diff) | |
| download | scala-d24ad908451e42925fe6be9995235bf2b4de1b39.tar.gz scala-d24ad908451e42925fe6be9995235bf2b4de1b39.tar.bz2 scala-d24ad908451e42925fe6be9995235bf2b4de1b39.zip | |
spec: fix broken links and anchors, including examples
For examples, the "name" of the example (like "Example Ordered") is only
used to derived its html id so that one can link to it (see
`layouts/default.yml`). Ideally all examples should have a name; here I
only added enough to satisfy existing links.
Diffstat (limited to 'spec/03-types.md')
| -rw-r--r-- | spec/03-types.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index 5cfb85e1fc..80200cdf33 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -178,7 +178,7 @@ well-formed if each actual type parameter _conforms to its bounds_, i.e. $\sigma L_i <: T_i <: \sigma U_i$ where $\sigma$ is the substitution $[ a_1 := T_1 , \ldots , a_n := T_n ]$. -### Example +### Example Parameterized Types Given the partial type definitions: ```scala @@ -204,7 +204,7 @@ G[S, String] ### Example -Given the [above type definitions](example-parameterized-types), +Given the [above type definitions](#example-parameterized-types), the following types are ill-formed: ```scala @@ -349,7 +349,7 @@ $T_2$. The type is equivalent to the type application arbitrary identifier. All type infix operators have the same precedence; parentheses have to -be used for grouping. The [associativity](06-expressions.html#prefix-infix-and-postfix-operations) +be used for grouping. The [associativity](06-expressions.html#prefix,-infix,-and-postfix-operations) of a type operator is determined as for term operators: type operators ending in a colon ‘:’ are right-associative; all other operators are left-associative. |