Open makarius opened 3 years ago
In MMT/43fec2b39fba the mmt/scala subshell is somehow broken:
$ deploy/mmt ... scala user: 'scala' It may take a few seconds for the Scala prompt to appear. user: 'scala' finished
Nothing happens afterwards, no Scala REPL.
(This might be due to the update to scala-2.13.4, where a few Scala compiler/interpreter internals have changed.)
In MMT/43fec2b39fba the mmt/scala subshell is somehow broken:
Nothing happens afterwards, no Scala REPL.
(This might be due to the update to scala-2.13.4, where a few Scala compiler/interpreter internals have changed.)