Code

Simplify polyfunction logic#18200

Code

Closed

nicolasstucki wants to merge 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:simplify-polyfunction-logicdotty-staging/dotty:simplify-polyfunction-logicCopy head branch name to clipboard

Commits

Commits on Jul 18, 2023

• Simplify polyFunction logic in TypeComparer

  

  nicolasstucki

  authored and

  Linyxus

  committed
  a839c03

  Copy full SHA for a839c03

• Merge the regular and capture-checking version of isSubInfo

  Show description for 47f4519
  

  smarter

  authored and

  Linyxus

  committed
  47f4519

  Copy full SHA for 47f4519

• Tweak isSubInfo for capture checking

  Show description for dd21be8
  Linyxus

  committed
  dd21be8

  Copy full SHA for dd21be8

Commits on Jul 19, 2023

• Use nested pattern matching in isSubInfo

  Show description for e4fc9e4
  Linyxus

  committed
  e4fc9e4

  Copy full SHA for e4fc9e4

• Address review comments

  Show description for 01e3397
  Linyxus

  committed
  01e3397

  Copy full SHA for 01e3397