Code

Define splice hole in library#17140

Code

Closed

nicolasstucki wants to merge 6 commits intoscala:mainscala/scala3:mainfrom dotty-staging:splice-hole-in-librarydotty-staging/dotty:splice-hole-in-libraryCopy head branch name to clipboard

+187-73

Commits

Commits on Mar 23, 2023

• Make sure captured types are listed before terms

  nicolasstucki

  committed
  388d92e

  Copy full SHA for 388d92e

• Add type argument list to the Hole tree

  nicolasstucki

  committed
  67b16d0

  Copy full SHA for 67b16d0

• Split Hole from PrickledHole

  nicolasstucki

  committed
  5c69110

  Copy full SHA for 5c69110

• Define splice hole in library

  Show description for 01ee569
  nicolasstucki

  committed
  01ee569

  Copy full SHA for 01ee569

• cleanup

  nicolasstucki

  committed
  0be10af

  Copy full SHA for 0be10af

• Use different indices for type and term holes

  nicolasstucki

  committed
  bcaba2e

  Copy full SHA for bcaba2e