James Clark
James Clark
Interesting example. I think it should work as @SupunS suggests. In this case, we do have a contextually expected type which is `[any,[any, any]]`. Except that's not quite right: it's...
The implied here is like `*` in error constructor. So conceptually we always have a contextually expected type but that type can have `*` in places. I think what we...
Also need to think about #426.
Also need to deal with `readonly`. If we say `E`, then E has a partial contextually expected type.
Here's another example of something that doesn't work in the implementation as of slalpha5: ``` type Input "X"|"Y"|"Z"; type Output "X"|"Y"; function foo(Input input) returns Output? { match input {...
@pramodya1994 What exactly does `replace` do? We don't want regexes in lang.string.
A more powerful version of that is ``` string translate(string str, string fromChars, string toChars) ``` When fromChars and toChars are both of length 1 it has the same semantic...
For 1.2: - string:lastIndexOf, array:lastIndexOf - string:equalsIgnoreCaseAscii
split uses a regex, so that should stay with the other stuff that uses regexes. I think we should add `contains`. I created and issue #687 for that, since there...
I suggest you wait to see how we decide this issue. If we decide this in issue in the affirmative, it would need to be caught by the compiler as...