search

scala / bug

Scala 2 bug reports only. Please, no questions — proper bug reports only.
https://scala-lang.org
232 stars 21 forks source link

refactor LabelDefs to MethodDefs #5562

Open scabug opened 12 years ago

scabug commented 12 years ago

Adriaan Moors Mar 9, 6:08 pm

I just came across this in Duplicators. LabelDefs are not typable from trees alone, unless they have the type ()Unit. Therefore, their symbols are recreated ad-hoc and their types are fixed inline, instead of letting the namer/typer handle them, or Idents that refer to them.

http://groups.google.com/group/scala-internals/msg/087700e4c9f570ae

scabug commented 12 years ago

Imported From: https://issues.scala-lang.org/browse/SI-5562?orig=1 Reporter: @xeno-by Blocks #5464, #5694

scabug commented 12 years ago

@xeno-by said: Assigning to you, Adriaan, since you're the one who's committed to refactor LabelDefs by 2.10 RC.

scabug commented 12 years ago

@adriaanm said: type checking labels is not idempotent due to the way symbols are used for their arguments/paramters

we should get rid of them and model labels as methods whose symbol are flagged LABEL

SethTisue commented 6 years ago

@adriaanm should this stay open?