Code

Skolem based gadt constraints#5736

Code

Merged

abgruszecki merged 20 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:skolem-based-gadt-constraintsdotty-staging/dotty:skolem-based-gadt-constraintsCopy head branch name to clipboard

May 13, 2019

Commits

Commits on May 3, 2019

• Move Constraint#fullBounds to ConstraintHandler

  abgruszecki

  committed
  b614188

  Copy full SHA for b614188

• Clean up TypeVar insertion/removal in SmartGADTMap

  Show description for 2473152
  abgruszecki

  committed
  2473152

  Copy full SHA for 2473152

• Allow constraining type parameters of all enclosing functions

  Show description for 2ab8a6d
  abgruszecki

  committed
  2ab8a6d

  Copy full SHA for 2ab8a6d

• Do not constrain types under either approx

  abgruszecki

  committed
  eac0e53

  Copy full SHA for eac0e53

• Use Skolems to infer GADT constraints

  Show description for f5a1ef2
  abgruszecki

  committed
  f5a1ef2

  Copy full SHA for f5a1ef2

• Adjust behaviour of TypeComparer.either for GADTflexible

  abgruszecki

  committed
  3df2c0f

  Copy full SHA for 3df2c0f

• Move GADT constraint code to a separate file

  Show description for e1df3ae
  abgruszecki

  committed
  e1df3ae

  Copy full SHA for e1df3ae

• Document suspicious code in ProperGadtConstraint#tvar

  abgruszecki

  committed
  824108c

  Copy full SHA for 824108c

• Improve GadtConstraint comment

  abgruszecki

  committed
  ea1815d

  Copy full SHA for ea1815d

• Simplify ConstraintHandling#fullBounds

  abgruszecki

  committed
  3cf8530

  Copy full SHA for 3cf8530

• Document Constraint methods

  abgruszecki

  committed
  1171db4

  Copy full SHA for 1171db4

• Allow adding multiple symbols to GadtConstraint simultaneously

  Show description for 177bd36
  abgruszecki

  committed
  177bd36

  Copy full SHA for 177bd36

• Restore old constrainPatternType doc

  abgruszecki

  committed
  e32c2d6

  Copy full SHA for e32c2d6

• Remove unnecessary calls to constrainPatternType

  Show description for cb15213
  abgruszecki

  committed
  cb15213

  Copy full SHA for cb15213

Commits on May 6, 2019

• Further improve GadtConstraint comment

  abgruszecki

  committed
  af5010d

  Copy full SHA for af5010d

• Comment out accidentally committed sanity check

  abgruszecki

  committed
  65e2aa2

  Copy full SHA for 65e2aa2

• Simplify NoMatchingImplicit#clarify

  abgruszecki

  committed
  c9b093b

  Copy full SHA for c9b093b

Commits on May 7, 2019

• Further improve comments around GadtConstraint

  abgruszecki

  committed
  9b96317

  Copy full SHA for 9b96317

Commits on May 13, 2019

• Inline a variable

  abgruszecki

  committed
  12b8999

  Copy full SHA for 12b8999

• Split TypeComparer#either and document both cases

  abgruszecki

  committed
  3c3b3db

  Copy full SHA for 3c3b3db