Code

Intersection based gadts#6398

Code

Merged

abgruszecki merged 9 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:intersection-based-gadtsdotty-staging/dotty:intersection-based-gadtsCopy head branch name to clipboard

Jun 6, 2019

Commits

Commits on Jun 5, 2019

• Rework how GADT constraints are inferred

  Show description for d25f03c
  abgruszecki

  committed
  d25f03c

  Copy full SHA for d25f03c

• Add type-member-based GADT test suite

  Show description for 54047ba
  abgruszecki

  committed
  54047ba

  Copy full SHA for 54047ba

• Do not rely on subtyping to infer constraints for object patterns

  Show description for 32c4280
  abgruszecki

  committed
  32c4280

  Copy full SHA for 32c4280

• Take HKT injectivity into account when inferring GADT constraints

  Show description for 483285f
  abgruszecki

  committed
  483285f

  Copy full SHA for 483285f

• Fix bias in ConstraintHandling#subsumes

  Show description for 609ee7b
  abgruszecki

  committed
  609ee7b

  Copy full SHA for 609ee7b

• Remove now untypeable exhaustivity test

  abgruszecki

  committed
  a85cce4

  Copy full SHA for a85cce4

• Improve comments around constrainPatternType

  abgruszecki

  committed
  3902ed2

  Copy full SHA for 3902ed2

Commits on Jun 6, 2019

• Refactor Mode.GADTFlexible and TypeComparer.frozenGadt

  abgruszecki

  committed
  7830069

  Copy full SHA for 7830069

• Document ConstraintHandling#subsumes

  abgruszecki

  committed
  01096ff

  Copy full SHA for 01096ff