diff options
| author | odersky <odersky@gmail.com> | 2015-08-20 05:01:48 -0700 |
|---|---|---|
| committer | odersky <odersky@gmail.com> | 2015-08-20 05:01:48 -0700 |
| commit | dbbc5ca47bc3485f735682c89f8f4cd07c637572 (patch) | |
| tree | 0c9c46bc2b73ab17788151e22d53f61c60c15ef7 | |
| parent | 1414fd5d595c43669c350ab1e8a14b38e0868b53 (diff) | |
| parent | 7426fdd5c39df5e9d4b945fbb8966ad7efa30b64 (diff) | |
| download | dotty-dbbc5ca47bc3485f735682c89f8f4cd07c637572.tar.gz dotty-dbbc5ca47bc3485f735682c89f8f4cd07c637572.tar.bz2 dotty-dbbc5ca47bc3485f735682c89f8f4cd07c637572.zip | |
Merge pull request #757 from senia-psm/patch-1
Typo fix in trait Lambda$II definition
| -rw-r--r-- | docs/HigherKinded-v2.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/HigherKinded-v2.md b/docs/HigherKinded-v2.md index 3216f42f4..2ca6424de 100644 --- a/docs/HigherKinded-v2.md +++ b/docs/HigherKinded-v2.md @@ -184,7 +184,7 @@ of `Lambda$NP` would themselves be written as follows. trait Lambda$IP[type $hkArg$0, +$hkArg1] { type +Apply } extends Lambda$II trait Lambda$NI[type -$hkArg$0, $hkArg1] { type +Apply } extends Lambda$II - trait Lambda$II[type -hkArg$0, $hkArg1] { type +Apply } + trait Lambda$II[type $hkArg$0, $hkArg1] { type +Apply } `Lambda` traits are special in that they influence how type applications are expanded: If the standard type application `T[X1, ..., Xn]` @@ -204,7 +204,7 @@ which in turn simplifies to `List[List[String]]`. 2nd Example: Consider the two aliases - type RMap[K, V] = Map[V, K]] + type RMap[K, V] = Map[V, K] type RRMap[K, V] = RMap[V, K] These expand as follows: |