Jon Pretty

A new error will occur with code like this: trait Foo(x: Int) trait Bar extends Foo // not allowed to extend Foo(0)! class Baz() extends Bar We are told that we need to explicitly specify the inheritance of Foo with its parameter, like so: class Baz() extends Bar, Foo(0)

You also get to use commas to separate the list of inherited traits.

And something changed around self types. If X refers to Y members you can say: trait X { this: Y => … } but if X implements any of Y you must say: trait X extends Y { … }.

That's very interesting, and I never saw the relation ro self-types before, but it seems like "parameterless trait inheritance" is very much like a self-type, except that if the trait is parameterless anyway, it's inherited... Thanks for the hint!

Actually I am wrong. Something has changed in self types but that is not quite it. I will get back to you on that!

I hope the old "lambda-style" syntax goes away eventually, at least.

I see that is being discussed. I am kind of used to it. And bring back 'implicit' as a keyword I say! No. No, let's not go there.

My feelings about given, using and implicit were never strong... I don't particularly like that "given" is primarily a verb, but is used in its less common nounal or adjectival sense... but I can live with it.