Shayan Hosseini
Shayan Hosseini
@dgryski Thanks for the question, I meant both Go and Scala code (we recently rewrote the compiler in Scala).
More precise description: ### `label` type In PlusCal and MPCal labels are static names and a variable cannot store a label. We propose a new type of variable that stores...
I agree that this is low priority and I just wrote it to not forget it. > It's intended to be read the same way as the MPCal, with handle[indices...]...
I think going with `nil` is a good choice and also it doesn't break the previous API.
Having `RECURSIVE` only would be really helpful for our 538B project to easily implement sum. Also wanted to note that our syntax highlighting currently doesn't support TLA+ 2 directives. We...
@fhackett should we close?
I don't exactly understand the rationale behind adding this. I think you're merging a set of events into one event, but they are actually different events. Is that for the...
How I can fix it?
An alternative is to move the qmp handling logic into the VMLet abstraction (as discussed [here](https://www.notion.so/neondatabase/RFC-Fix-Autoscaling-Resource-Usage-State-d41e605c5ffb425aa3842e1a5d7f3dfb?pvs=4). With this we can start moving VM management stuff into the VMLet. This change...
There should be some I think. I know either VSCode or Goland shows you a warning if you ignore return values from a function.