James Clark
James Clark
The difficulty in my argument is that we are turning the default value expression into a closure, but there's no way for a closure to do what a check fail...
There are quite a number of little things that will combine to make this all nice (some in langlib and some in the standard library). A major part of this...
If you want to convert from a record r to a tuple in a typed way, you can do it with an expression ``` let var {x, y z} =...
This would be fixed by #1244
@lochana-chathura You are asking to revise #1136.
The motivation for the NR (non-reserved) keyword concept was to allow us to introduce `group by` and `collect` without creating incompatibilities. Making them reserved only within the context of a...
What makes this difficult is that this cannot be specified in terms of pure types (sets of shapes), since we need to apply default values which are not included in...
The simplest way to do this is to specify a normalized form of the applicable contextually expected type. For a contextually expected type T, the applicable contextually expected type means...
There's another subtlety: it need not be an error if we end up with more than one alternative if all of them are readonly, since in the readonly case we...
In #544 we will handle just intersection with readonly. This issue will handle defaults in the general case as described here https://github.com/ballerina-platform/ballerina-spec/issues/544#issuecomment-1199267849