Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
In regards to checked_cast, since @chanattan added subtyping checks the cast is not needed anymore, it should be good automatically. By having checked_cast the java resolution breaks since its not...
For the first isse, with ```import java.lang.String.split(String): Array[String, rc] \ rc;``` I guess the "auto-import" is ```import java.lang.String.split(String): Array[String, split] \ IO;``` (which seems weird) but we discussed that when...
@magnus-madsen I was not sure if you wanted me to implement field lookups fully or just do parsing and pass it on
dang it 😄
tests for indexable or tests for the autocomplete?
@magnus-madsen ready now. I've checked and the completer works
What is the idea?
scala says that the paren is redundant here 👀 `case ts@(head :: _ :: _) => ...`
Is this accepted to be implemented? @magnus-madsen
syntactic issue - semantically clearer would it be worth it to have short thunk syntax? `-> exp` maybe?