Search results

Dotty with explicit nulls (and flow typing)

Status: Merged (completed).

scala/scala3number 7546

#7546 In scala/scala3;

· by abeln was closed on Dec 14, 2019

Dotty with explicit nulls

Status: Closed (abandoned).

scala/scala3number 6344

#6344 In scala/scala3;

· by abeln was closed on Nov 15, 2019

Fix #5823: better erasure of bottom types

Status: Merged (completed).

scala/scala3number 5926

#5926 In scala/scala3;

· by abeln was closed on Feb 15, 2019

[WIP] Scala with Explicit Nulls

Status: Closed (abandoned).

scala/scala3number 5747

#5747 In scala/scala3;

· by abeln was closed on Jan 22, 2019

Fix #5521: prefix not checked in realizability check

Status: Merged (completed).

scala/scala3number 5522

#5522 In scala/scala3;

· by abeln was closed on Dec 2, 2018

Fix #5453: method return type not checked when overriding nullary Java method

Status: Merged (completed).

scala/scala3number 5454

#5454 In scala/scala3;

· by abeln was closed on Nov 16, 2018

Fix #5140: Ycheck failure in covariant java varargs

Status: Merged (completed).

scala/scala3number 5403

#5403 In scala/scala3;

· by abeln was closed on Nov 9, 2018

Remove error tag from positive test

Status: Merged (completed).

scala/scala3number 5319

#5319 In scala/scala3;

· by abeln was closed on Oct 23, 2018

Remove spurious error tag in positive test

Status: Closed (abandoned).

scala/scala3number 5318

#5318 In scala/scala3;

· by abeln was closed on Oct 23, 2018

Fix #5067: handle scrutinee of bottom type in pattern matcher

Status: Merged (completed).

scala/scala3number 5075

#5075 In scala/scala3;

· by abeln was closed on Feb 15, 2019

Remove dead code in ClassFileParser

Status: Merged (completed).

scala/scala3number 5066

#5066 In scala/scala3;

· by abeln was closed on Sep 3, 2018

Add link to Dotty internals talk on denotations

Status: Merged (completed).

scala/scala3number 4971

#4971 In scala/scala3;

· by abeln was closed on Aug 20, 2018