diff options
| author | Nada Amin <namin@alum.mit.edu> | 2014-07-19 11:56:38 +0200 |
|---|---|---|
| committer | Nada Amin <namin@alum.mit.edu> | 2014-07-19 11:56:38 +0200 |
| commit | e5aaa7185c8c6f116e1b8d6ed4e8ed9f49e22d55 (patch) | |
| tree | 3ee796692d3d213025c9791b639a620cb3b4c841 /docs | |
| parent | f4d0b53db6922277e902273964d20b5570e6c9e7 (diff) | |
| download | dotty-e5aaa7185c8c6f116e1b8d6ed4e8ed9f49e22d55.tar.gz dotty-e5aaa7185c8c6f116e1b8d6ed4e8ed9f49e22d55.tar.bz2 dotty-e5aaa7185c8c6f116e1b8d6ed4e8ed9f49e22d55.zip | |
delete unmatched )
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/HigherKinded-v2.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/HigherKinded-v2.md b/docs/HigherKinded-v2.md index e08002418..fffe357a5 100644 --- a/docs/HigherKinded-v2.md +++ b/docs/HigherKinded-v2.md @@ -176,7 +176,7 @@ have more than one type parameter. For instance, here is a trait with contravari trait Lambda$NP[type -$hkArg$0, +$hkArg1] { type +Apply } extends Lambda$IP with Lambda$PI Aside: the `+` prefix in front of `Apply` indicates that `Apply` is a covariant type field. Dotty -admits variance annotations on type members). +admits variance annotations on type members. The definition of `Lambda$NP` shows that `Lambda` traits form a subtyping hierarchy: Traits which have covariant or contravariant type parameters are subtypes of traits which don't. The supertraits |