Quentin Bernet
Quentin Bernet
After further testing, using `Alias1` has another downside; The type of the bound identifier is the type of the argument to `unapply`, so if we are forced to use `Alias1`,...
Note that it should also check for `def equals`, as in Scala all non-overridden calls to `==` default to `Any.==` which is an alias of `equals` (See the definition of...
> I'm not sure if you thought about the type system when a method application is split to blocks. Before this SIP type arguments are inferred as `Nothing` because they...
Should interleaved definitions show a special error like "clause interleaving is an experimental feature, you can enable it with ..." ?
> which language requires that? is there an ebnf doc for it? any tests? I wasn't expecting reviews yet, as this is a draft PR I'll edit this the description...
@kitbellew What do you mean ?
The `q"..$mods def $name[..$tparams](...$paramss): $tpe"` don't work, @kitbellew is that what you meant by quasiquotes ? How can I fix it ?
@tgodzik Could you take a look at the PR in its current state ? I think the logic is done, the rest seems to be to fix the tests using...
Thinking more about it, shouldn't they be added as experimental first, validated by the SIP comittee, and only then merged as non-experimental ? (I think it is fine to do...
Out of curiosity, do we honor them as well during tokenization ? (That is where the parsing of integer literals is done)