diff options
author | Michał Pociecha <michal.pociecha@gmail.com> | 2015-08-22 01:02:46 +0200 |
---|---|---|
committer | Michał Pociecha <michal.pociecha@gmail.com> | 2015-08-23 12:18:15 +0200 |
commit | 31ae74f2dd649bd67457492af6305b92a8ea9cf6 (patch) | |
tree | e15e154ff828e7ff80a16973605d0a6772a30d15 /spec/07-implicits.md | |
parent | f8a6d21a490090bac20b0753c46b91ca2b335049 (diff) | |
download | scala-31ae74f2dd649bd67457492af6305b92a8ea9cf6.tar.gz scala-31ae74f2dd649bd67457492af6305b92a8ea9cf6.tar.bz2 scala-31ae74f2dd649bd67457492af6305b92a8ea9cf6.zip |
Fix typos in spec, docs and comments
Diffstat (limited to 'spec/07-implicits.md')
-rw-r--r-- | spec/07-implicits.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/07-implicits.md b/spec/07-implicits.md index 5e10373959..726320ed33 100644 --- a/spec/07-implicits.md +++ b/spec/07-implicits.md @@ -84,7 +84,7 @@ The _parts_ of a type $T$ are: - if $T$ is an abstract type, the parts of its upper bound; - if $T$ denotes an implicit conversion to a type with a method with argument types $T_1 , \ldots , T_n$ and result type $U$, the union of the parts of $T_1 , \ldots , T_n$ and $U$; -- the parts of quantified (existential or univeral) and annotated types are defined as the parts of the underlying types (e.g., the parts of `T forSome { ... }` are the parts of `T`); +- the parts of quantified (existential or universal) and annotated types are defined as the parts of the underlying types (e.g., the parts of `T forSome { ... }` are the parts of `T`); - in all other cases, just $T$ itself. Note that packages are internally represented as classes with companion modules to hold the package members. |