Code

Opaque types - selftype encoding#5300

Code

Merged

odersky merged 14 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-opaque-selftypedotty-staging/dotty:add-opaque-selftypeCopy head branch name to clipboard

Nov 12, 2018

Commits

Commits on Nov 8, 2018

• Establish companionship directly

  Show description for f9cf3d0
  odersky

  committed
  f9cf3d0

  Copy full SHA for f9cf3d0

• Avoid follow-on error when trying to resolve overloads

  Show description for 60a14d4
  odersky

  committed
  60a14d4

  Copy full SHA for 60a14d4

• Print types and term flags separately

  Show description for 6b7a1a7
  odersky

  committed
  6b7a1a7

  Copy full SHA for 6b7a1a7

• Handle higher-kinded GADT bounds

  Show description for 756cd0a
  odersky

  committed
  756cd0a

  Copy full SHA for 756cd0a

• Parsing and pickling of opaque types

  odersky

  committed
  e0efae1

  Copy full SHA for e0efae1

• Desugaring and basic infrastructure for opaque types

  Show description for 45c641c
  odersky

  committed
  45c641c

  Copy full SHA for 45c641c

• Always compute asSeenFroms on opaque companion members

  Show description for ca56c66
  odersky

  committed
  ca56c66

  Copy full SHA for ca56c66

• Omit opaque aliases from realizability checking

  odersky

  committed
  d0112da

  Copy full SHA for d0112da

• Consider opaque companions in implicit scope

  odersky

  committed
  2268aa6

  Copy full SHA for 2268aa6

• Erasure of opaque types

  Show description for 646e596
  odersky

  committed
  646e596

  Copy full SHA for 646e596

• Eliminate opaque types

  Show description for 10d36ee
  odersky

  committed
  10d36ee

  Copy full SHA for 10d36ee

• Tests

  odersky

  committed
  6030cbb

  Copy full SHA for 6030cbb

• Doc page

  odersky

  committed
  c8a5cd9

  Copy full SHA for c8a5cd9

• More tests

  odersky

  committed
  93757f5

  Copy full SHA for 93757f5