You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jun 5, 2023. It is now read-only.
If REPL gets :replay, please add :retry to replay failed inputs.
This is a Scala 2 example, but the idea is that a line doesn't compile with current options, and I'd like to retry it with different options. There are probably good Scala 3 examples with different -source settings.
scala> {
| 1
| +
| 2
| }
+
^
On line 3: error: not found: value +
scala> :replay -Xsource:3
Nothing to replay.
The text was updated successfully, but these errors were encountered:
(This seems a bit marginal to me as a feature request, since (in my experience anyway) most of the time you only have a single failed input and you can easily get to it with up-arrow.)
If REPL gets
:replay
, please add:retry
to replay failed inputs.This is a Scala 2 example, but the idea is that a line doesn't compile with current options, and I'd like to retry it with different options. There are probably good Scala 3 examples with different
-source
settings.The text was updated successfully, but these errors were encountered: