Skip to content

On-the-fly settings in REPL #9802

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

Closed
scabug opened this issue Jun 3, 2016 · 2 comments
Closed

On-the-fly settings in REPL #9802

scabug opened this issue Jun 3, 2016 · 2 comments

Comments

@scabug
Copy link

scabug commented Jun 3, 2016

This isn't unreasonable:

$ scala
Welcome to Scala 2.11.8 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_60).
Type in expressions for evaluation. Or try :help.

scala> val x = "hi" ; "$x"
x: String = hi
res0: String = $x

scala> :se -Xlint:missing-interpolator

scala> val x = "hi" ; "$x"
<console>:13: warning: possible missing interpolator: detected interpolated identifier `$x`
        "$x"
        ^
x: String = hi
res1: String = $x

scala> :se -Xlint:-missing-interpolator

scala> val x = "hi" ; "$x"
<console>:13: warning: possible missing interpolator: detected interpolated identifier `$x`
        "$x"
        ^
x: String = hi
res2: String = $x
@scabug
Copy link
Author

scabug commented Jun 3, 2016

Imported From: https://issues.scala-lang.org/browse/SI-9802?orig=1
Reporter: @som-snytt
Affected Versions: 2.12.0-M4

@som-snytt
Copy link

It's even less fly now.

Welcome to Scala 2.13.16 (OpenJDK 64-Bit Server VM, Java 23.0.2).
Type in expressions for evaluation. Or try :help.

scala> val x = "hi"
val x: String = hi

scala> "$x"
val res0: String = $x

scala> :se -Xlint:missing-interpolator

scala> "$x"
val res1: String = $x

scala> :se -Xlint

scala> "$x"
val res2: String = $x

So it's even further out of scope.

@som-snytt som-snytt closed this as not planned Won't fix, can't repro, duplicate, stale Apr 26, 2025
@SethTisue SethTisue removed this from the Backlog milestone May 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants