diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2015-05-14 11:48:52 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2015-05-14 11:56:45 +1000 |
commit | 448953056d695c5137b079bb66fc5c6f6cdb9e8a (patch) | |
tree | ab7a9c3b1eea2d4c96c1cc0228d54592c6a1de22 /src/dotty/tools/dotc/ast/TreeTypeMap.scala | |
parent | 275b2c37dfbba3fa026c3821742c81b1d16e8db2 (diff) | |
download | dotty-448953056d695c5137b079bb66fc5c6f6cdb9e8a.tar.gz dotty-448953056d695c5137b079bb66fc5c6f6cdb9e8a.tar.bz2 dotty-448953056d695c5137b079bb66fc5c6f6cdb9e8a.zip |
Correct a large number of typos.
I scanned the main sources with IntellIJ's spell checker and
corrected what showed up.
Diffstat (limited to 'src/dotty/tools/dotc/ast/TreeTypeMap.scala')
-rw-r--r-- | src/dotty/tools/dotc/ast/TreeTypeMap.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/TreeTypeMap.scala b/src/dotty/tools/dotc/ast/TreeTypeMap.scala index 511c5ef4a..d714a3d21 100644 --- a/src/dotty/tools/dotc/ast/TreeTypeMap.scala +++ b/src/dotty/tools/dotc/ast/TreeTypeMap.scala @@ -25,7 +25,7 @@ import dotty.tools.dotc.transform.SymUtils._ * The reason the substitution is broken out from the rest of the type map is * that all symbols have to be substituted at the same time. If we do not do this, * we risk data races on named types. Example: Say we have `outer#1.inner#2` and we - * have two substitutons S1 = [outer#1 := outer#3], S2 = [inner#2 := inner#4] where + * have two substitutions S1 = [outer#1 := outer#3], S2 = [inner#2 := inner#4] where * hashtags precede symbol ids. If we do S1 first, we get outer#2.inner#3. If we then * do S2 we get outer#2.inner#4. But that means that the named type outer#2.inner * gets two different denotations in the same period. Hence, if -Yno-double-bindings is |