diff options
| author | senia-psm <seniapsm@gmail.com> | 2015-08-14 08:48:32 +0300 |
|---|---|---|
| committer | senia-psm <seniapsm@gmail.com> | 2015-08-14 08:48:32 +0300 |
| commit | edabec89a4e3c0f1b65f90b9002167433db1b1cb (patch) | |
| tree | 61b43c1a8e5052de0832b36a12c8c3d4bc357b4e /docs/HigherKinded-v2.md | |
| parent | f5a94f71a462648678ee9a79e6d4137221059ec6 (diff) | |
| download | dotty-edabec89a4e3c0f1b65f90b9002167433db1b1cb.tar.gz dotty-edabec89a4e3c0f1b65f90b9002167433db1b1cb.tar.bz2 dotty-edabec89a4e3c0f1b65f90b9002167433db1b1cb.zip | |
Typo fix in trait Lambda$II definition
Diffstat (limited to 'docs/HigherKinded-v2.md')
| -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 3216f42f4..56f85a2c9 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]` |