summaryrefslogtreecommitdiff
path: root/spec/07-implicits.md
diff options
context:
space:
mode:
authorMichał Pociecha <michal.pociecha@gmail.com>2015-08-22 01:02:46 +0200
committerMichał Pociecha <michal.pociecha@gmail.com>2015-08-23 12:18:15 +0200
commit31ae74f2dd649bd67457492af6305b92a8ea9cf6 (patch)
treee15e154ff828e7ff80a16973605d0a6772a30d15 /spec/07-implicits.md
parentf8a6d21a490090bac20b0753c46b91ca2b335049 (diff)
downloadscala-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.md2
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.