Rob W

> I've added some simpler rules for indentation here: https://github.com/scalameta/metals-vscode/blob/main/src/extension.ts#L1181-L1196 > > We shouldn't use the indentation rules from https://github.com/smarter/vscode-dotty-syntax/ as there is no way to figure out deindent. We...

Thanks - I'll create an issue in vscode-metals. I don't think merging them is a good idea but I have an idea which I'll mention in the new issue.

@adamgfraser I've simplified based on your feedback. I've kept the messages very succinct; this can obviously be changed if you'd prefer. I don't think it's practical to directly use the...

@adamgfraser I did look at if there was a single spot that could reliably capture all or even most operations, but there's so much special casing/duplication of code (no doubt...

> I'm not sure we should be capturing a trace for these at all. A normal execution trace gives the user useful information about the path of execution that led...

@adamgfraser perhaps we need some concrete samples to discuss These are a random subsection of the logs - there are a LOT of operations going on even for this short...

> Implementing operations logging in terms of a supervisor also assumes that all operations of the runtime are execution of effects, which is not necessarily true. Implementing operation logging independently...

> I think the semantics of `OpLog` are that we will actually log each operation to the current loggers using some format that we think is appropriate. This gives meaning...

(current output) ```[info] running (fork) zio.Test [info] zio.Test.effect(Test.scala:7) : zio.internal.DefaultExecutors$$anon$1@3f10e45a [info] zio.Test.effect(Test.scala:7) : () [info] zio.Test.effect(Test.scala:7) : () [info] zio.Test.effect(Test.scala:7) : Interruptible(zio.Test.effect(Test.scala:7),Stateful(zio.Test.effect(Test.scala:7),zio.ZIOCompanionVersionSpecific$$Lambda$329/0x0000000800db7040@6eebf336)) [info] Please enter your name: [info] zio.Test.effect(Test.scala:7) :...

@adamgfraser that's a good point about the interruption signals and yes I would like to be able to see those logged. It's not clear to me how we would log...