Alejandro Serrano
Alejandro Serrano
Sorry, I didn't mean that we shouldn't look for the best solution, and certainly using words like "ceremony" wasn't good on my side. My apologies. The problem statement, as I...
> Trimming the indent for multi-line strings at compile time sounds attractive. As discussed at the beginning of the KEEP, we've decided to split this concern to another KEEP which...
> did you see the C# trimming for """ strings? What's your take on that? Yes, I've seen how they did it. However, whatever solution we come up with, we...
After some discussion, we've decided _not_ to handle the problem of three double quotes in a multiline string. > We acknowledge that this solution does _not_ solve the problem of...
The KEEP has been merged. Thanks everybody for their comments and suggestions!
I am not so sure about the package-as-namespace thing... If you need to use both, then the compiler won't be able to figure it out anymore. Maybe it's useful to...
I think I got it!! Actually variants using `E` everywhere is all we need! ```kotlin fun Schedule.retry(...) ``` This works without the intermediate `E: Throw: Throwable` because of the contravariance...
As mentioned by @kyay10, this is by design. Especially in `accumulate` environments, we want to still give the option to call the outer `raise`, to signal that accumulation has to...
Should we close this now that #3418 is merged? I don't want to step on your toes...
Note that the actual statistic right now is how unifications are done during `match`es are found during symbolic execution.