Code

Refactor function type logic#18193

Code

Merged

smarter merged 10 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:refector-isFunctionTypedotty-staging/dotty:refector-isFunctionTypeCopy head branch name to clipboard

Jul 13, 2023

Commits

Commits on Jul 12, 2023

• Rename `isFunctionType` to `isFunctionNType`

  Show description for c03d69f
  nicolasstucki

  committed
  c03d69f

  Copy full SHA for c03d69f

• Rename `isFunctionOrPoly` to `isFunctionType`

  Show description for d7167b0
  nicolasstucki

  committed
  d7167b0

  Copy full SHA for d7167b0

• More consistent use of `is{Refined,Poly,Erased}isFunctionType`

  nicolasstucki

  committed
  63fa75a

  Copy full SHA for 63fa75a

• Generalize/simplify refined function type Erasure

  Show description for a420d71
  nicolasstucki

  committed
  a420d71

  Copy full SHA for a420d71

• Remove use of `isFunctionNType`

  nicolasstucki

  committed
  8a202e5

  Copy full SHA for 8a202e5

• Fix toFunctionType to handle erased function types

  nicolasstucki

  committed
  81f5677

  Copy full SHA for 81f5677

Commits on Jul 13, 2023

• Simplify function erasure

  nicolasstucki

  committed
  3ea39ea

  Copy full SHA for 3ea39ea

• Refactor toFunctionType

  nicolasstucki

  committed
  aca69bd

  Copy full SHA for aca69bd

• Rename isRefinedFunctionType to isPolyOrErasedFunctionType

  nicolasstucki

  committed
  96af363

  Copy full SHA for 96af363

• Fix documentation

  nicolasstucki

  committed
  21818e7

  Copy full SHA for 21818e7