Code

Gadt unification#5611

Code

Merged

odersky merged 8 commits intoscala:masterscala/scala3:masterfrom dotty-staging:gadt-unificationdotty-staging/dotty:gadt-unificationCopy head branch name to clipboardDec 17, 2018

+999-111

Commits

Commits on Dec 14, 2018

• Revert "Handle higher-kinded GADT bounds"

  Show description for 225aabc
  abgruszecki

  committed
  225aabc

  Copy full SHA for 225aabc

• Move TyperState.instType

  abgruszecki

  committed
  08ac0a0

  Copy full SHA for 08ac0a0

• Allow overriding ConstraintHandling logs

  abgruszecki

  committed
  04503d9

  Copy full SHA for 04503d9

• Reuse ConstraintHandling for GADTMap

  abgruszecki

  committed
  4c41fc4

  Copy full SHA for 4c41fc4

• Add caching to GADTMap

  abgruszecki

  committed
  de795a9

  Copy full SHA for de795a9

• Clean up GADTMap#ctx

  Show description for 6cca0a6
  abgruszecki

  committed
  6cca0a6

  Copy full SHA for 6cca0a6

Commits on Dec 17, 2018

• Address review comments

  abgruszecki

  committed
  f75f58f

  Copy full SHA for f75f58f

• Simplify TypeComparer.explaining

  abgruszecki

  committed
  d1fa5d7

  Copy full SHA for d1fa5d7