diff options
author | Adriaan Moors <adriaan@lightbend.com> | 2017-02-28 14:14:11 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan@lightbend.com> | 2017-03-02 11:17:02 -0800 |
commit | 615849058b5452b9d54ac152a1380ca7f81998c9 (patch) | |
tree | ab2f9cec9a7b49e40f8fdaf8968619993762e6f6 /spec | |
parent | 575a668a38014f25cb4930ef2b1991a861ba558a (diff) | |
download | scala-615849058b5452b9d54ac152a1380ca7f81998c9.tar.gz scala-615849058b5452b9d54ac152a1380ca7f81998c9.tar.bz2 scala-615849058b5452b9d54ac152a1380ca7f81998c9.zip |
Improvements based on reviews by Lukas & Jason
Diffstat (limited to 'spec')
-rw-r--r-- | spec/05-classes-and-objects.md | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/spec/05-classes-and-objects.md b/spec/05-classes-and-objects.md index 82f399fe47..65666e31cb 100644 --- a/spec/05-classes-and-objects.md +++ b/spec/05-classes-and-objects.md @@ -873,10 +873,9 @@ If a type parameter section is missing in the class, it is also missing in the ` If the companion object $c$ is already defined, the `apply` and `unapply` methods are added to the existing object. +If the object $c$ already has a [matching](#definition-matching) +`apply` (or `unapply`) member, no new definition is added. The definition of `apply` is omitted if class $c$ is `abstract`. -If the object $c$ already defines a [matching](#definition-matching) member of the -same name as the synthetic member to be added, the synthetic member -is not added (overloading or mutual recursion is allowed, however). If the case class definition contains an empty value parameter list, the `unapply` method returns a `Boolean` instead of an `Option` type and |