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/07-implicit-parameters-and-views.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/07-implicit-parameters-and-views.md')
-rw-r--r-- | spec/07-implicit-parameters-and-views.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/07-implicit-parameters-and-views.md b/spec/07-implicit-parameters-and-views.md index 3a215e74fc..27a50cf058 100644 --- a/spec/07-implicit-parameters-and-views.md +++ b/spec/07-implicit-parameters-and-views.md @@ -19,7 +19,7 @@ and can be used as implicit conversions called [views](#views). The `implicit` modifier is illegal for all type members, as well as for [top-level objects](09-top-level-definitions.html#packagings). -### Example +### Example Monoid The following code defines an abstract class of monoids and two concrete implementations, `StringMonoid` and `IntMonoid`. The two implementations are marked implicit. @@ -189,7 +189,7 @@ core type is added to the stack, it is checked that this type does not dominate any of the other types in the set. Here, a core type $T$ _dominates_ a type $U$ if $T$ is -[equivalent](03-types.html#type-equivalence) +[equivalent](03-types.html#equivalence) to $U$, or if the top-level type constructors of $T$ and $U$ have a common element and $T$ is more complex than $U$. @@ -284,7 +284,7 @@ As for implicit parameters, overloading resolution is applied if there are several possible candidates (of either the call-by-value or the call-by-name category). -### Example +### Example Ordered Class `scala.Ordered[A]` contains a method ```scala |