Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

unshackling the singleton type #6767

Open
scabug opened this issue Dec 4, 2012 · 4 comments
Open

unshackling the singleton type #6767

scabug opened this issue Dec 4, 2012 · 4 comments
Assignees
@milessabin
Milestone
Backlog

Comments

@scabug
Copy link

scabug commented Dec 4, 2012

Opening this ticket to track what if anything we can agree to do about the propagation of singleton types. Today's example:

trait Foo {
  def andThis(): this.type = this

  def setFoo1()            = andThis()
  def setFoo2(): this.type = andThis()
}

class Bar extends Foo {
  def f1(): Bar = setFoo1() // does not compile
  def f2(): Bar = setFoo2() // compiles
}

There are a lot of other examples available; I am linking to some tickets which swirl around the same question.
@scabug
Copy link
Author

scabug commented Dec 4, 2012

Imported From: https://issues.scala-lang.org/browse/SI-6767?orig=1
Reporter: @paulp
Affected Versions: 2.11.0-M1
See #1273, #5103, #5210, #4914, #4663, #837

@scabug
Copy link
Author

scabug commented Dec 4, 2012

@paulp said (edited on Dec 4, 2012 11:04:46 PM UTC):
Well, if I can figure out how to link that is. Oh well, I'll just list them here. #837, #1273, #4663, #4914, #5103. And see also #5210.

@scabug scabug added this to the Backlog milestone Apr 7, 2017
This was referenced Apr 7, 2017
Closed
Closed
Closed
@scala scala deleted a comment from scabug Mar 2, 2018
@SethTisue
Copy link
Member

@milessabin should this stay open?

@milessabin
Copy link

Of the tickets listed, everything is fixed apart from #4663 ... I'll take that on.

@milessabin milessabin self-assigned this Mar 3, 2018
@SethTisue SethTisue modified the milestones: Backlog, 2.13.0-RC1 Mar 6, 2018
@adriaanm adriaanm modified the milestones: 2.13.0-RC1, Backlog Jan 8, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@milessabin milessabin

Labels
None yet
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
4 participants
@adriaanm @milessabin @SethTisue @scabug