Code

Add new HOLETYPES to TASTy format #17225

Code

Closed

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

dotty-staging:add-tasty-hole-typesdotty-staging/dotty:add-tasty-hole-typesCopy head branch name to clipboard

Commits

Commits on Apr 3, 2023

• Make sure captured types are listed before terms

  nicolasstucki

  committed
  c264164

  Copy full SHA for c264164

• Add type argument list to the `Hole` tree

  nicolasstucki

  committed
  b7098df

  Copy full SHA for b7098df

• Split Hole from PrickledHole

  nicolasstucki

  committed
  1ad1804

  Copy full SHA for 1ad1804

• Improve hole tree checker

  nicolasstucki

  committed
  315823f

  Copy full SHA for 315823f

• Rename `PickledHole` to `TastyQuoteHole`

  nicolasstucki

  committed
  67353f0

  Copy full SHA for 67353f0

Commits on Apr 6, 2023

• Update Hole syntax in RefinedPrinter and documentation

  nicolasstucki

  committed
  738c3aa

  Copy full SHA for 738c3aa

Commits on Apr 12, 2023

• Use deterministic order of hole arguments

  nicolasstucki

  committed
  5c66d61

  Copy full SHA for 5c66d61

• Fix typo in documentation

  nicolasstucki

  committed
  b5b5461

  Copy full SHA for b5b5461

• Improve documentation

  nicolasstucki

  committed
  31aa6df

  Copy full SHA for 31aa6df

• Add regression test

  nicolasstucki

  committed
  7285496

  Copy full SHA for 7285496

• Add new HOLETYPES to TASTy format

  Show description for b99bd59
  nicolasstucki

  committed
  b99bd59

  Copy full SHA for b99bd59

• Pickle hole targs as trees to keep positions

  nicolasstucki

  committed
  40cee6a

  Copy full SHA for 40cee6a