[typesafety]

https://lampsvn.epfl.ch/trac/scala/ticket/963 https://lampsvn.epfl.ch/trac/scala/ticket/2856

among others

[jjm]

Hm... As an early Scala/Akka developer, and contributor I would like to see these issues addressed by the team because I'm seeing a lot of trac jacking going on. This usually only happens when there isn't a response to issues.

[cmkrnl]

Are you of the opinion that the problems with the Scala type system are unfixable?

[typesafety]

I would like them to be fixable, because otherwise Scala is a decent language, but it is too early to say.

[smcj]

Hi Tony,

isn't #963 more or less fixed? (It crashes the compiler, but doesn't fail at runtime anymore ...)

Could you post a new example of it if it isn't?

[shasta]

Isn't crashing the compiler pretty far to the "less" side of "more or less fixed"?

[smcj]

Failure to compile is always better than generating wrong bytecode.

[shasta]

Right, but I don't think "fixed: replaced with compiler crash" is a resolution you'll see in many bug databases