Code

Unencode quote and splice trees#17342

Code

Merged

smarter merged 46 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:unencode-quote-treesdotty-staging/dotty:unencode-quote-treesCopy head branch name to clipboard

May 2, 2023

Commits

Commits on Apr 25, 2023

• Rename `Spliced` to `SplicedExpr`

  nicolasstucki

  committed
  c2f6362

  Copy full SHA for c2f6362

• Split `Quoted` extractor into `QuotedExpr` and `QuotedTypeOf`

  nicolasstucki

  committed
  938d3ae

  Copy full SHA for 938d3ae

• Split `transformQuotation` into `transformQuotedExpr` and `transformQuotedType`

  nicolasstucki

  committed
  b7ca9b1

  Copy full SHA for b7ca9b1

• Add `QuotedExpr` to encode quotes directly in the AST

  nicolasstucki

  committed
  deb03a7

  Copy full SHA for deb03a7

• Add `SplicedExpr` to encode splices directly in the AST

  nicolasstucki

  committed
  b7a7227

  Copy full SHA for b7a7227

• Remove splice outer quotes context

  Show description for fe64a3e
  nicolasstucki

  committed
  fe64a3e

  Copy full SHA for fe64a3e

• Rename `SplicedExpr.{spliced=>expr}`

  nicolasstucki

  committed
  161ef49

  Copy full SHA for 161ef49

• Use QuotedExpr instead of Quote trees

  nicolasstucki

  committed
  cf30d30

  Copy full SHA for cf30d30

• Use SplicedExpr instead of Splice trees

  nicolasstucki

  committed
  f0d758b

  Copy full SHA for f0d758b

• Move typedQuotedExpr/typedSplicedExpr to QuotesAndSplices

  nicolasstucki

  committed
  c6adab8

  Copy full SHA for c6adab8

• Rename QuotedExpr to Quote and SplicedExpr to Splice

  nicolasstucki

  committed
  3a045c4

  Copy full SHA for 3a045c4

• Add documentation

  nicolasstucki

  committed
  76d0daf

  Copy full SHA for 76d0daf

• Backwards compatibility support for quotes and splice in reflection API

  nicolasstucki

  committed
  75bacdb

  Copy full SHA for 75bacdb

• Add regression test

  Show description for 0e6dc2e
  nicolasstucki

  committed
  0e6dc2e

  Copy full SHA for 0e6dc2e

Commits on Apr 26, 2023

• Adapt REPL test output

  nicolasstucki

  committed
  cdd5ffb

  Copy full SHA for cdd5ffb

Commits on Apr 27, 2023

• Remove `Splice.isInBraces`

  nicolasstucki

  committed
  04f020f

  Copy full SHA for 04f020f

• Move Quote/Splice retyping into ReTyper

  nicolasstucki

  committed
  35db4a1

  Copy full SHA for 35db4a1

• Add documentation

  nicolasstucki

  committed
  1ef7f59

  Copy full SHA for 1ef7f59

• Transform Quote/Splice in MiniPhase

  Show description for 687d06e
  nicolasstucki

  committed
  687d06e

  Copy full SHA for 687d06e

Commits on Apr 28, 2023

• Add TODOs and fix typos

  nicolasstucki

  committed
  1f62049

  Copy full SHA for 1f62049

• Remove `tpt` from `Quote`

  nicolasstucki

  committed
  5ae7861

  Copy full SHA for 5ae7861

• Remove `tpt` from `Splice`

  nicolasstucki

  committed
  3976d06

  Copy full SHA for 3976d06

• Rename `Quote.{expr=>body}`

  Show description for d4b2f09
  nicolasstucki

  committed
  d4b2f09

  Copy full SHA for d4b2f09

• Fix staging level tracking in Transformer

  nicolasstucki

  committed
  35408ec

  Copy full SHA for 35408ec

• Cleanup unnecessary staging level updates

  nicolasstucki

  committed
  e73eab7

  Copy full SHA for e73eab7

Commits on May 1, 2023

• Use `Quote to encode `Type.of` in the `staging phase`

  nicolasstucki

  committed
  e06b0f9

  Copy full SHA for e06b0f9

• Remove state from TreeMapWithStages

  nicolasstucki

  committed
  095a7f1

  Copy full SHA for 095a7f1

• Fix wrong staging level error message

  Show description for 10cbc60
  nicolasstucki

  committed
  10cbc60

  Copy full SHA for 10cbc60

• Simplify quoted type transformation in CrossStageSafety

  nicolasstucki

  committed
  3097f49

  Copy full SHA for 3097f49

• Simplify Quote/Splice transformations in CrossStageSafety

  nicolasstucki

  committed
  8a9871f

  Copy full SHA for 8a9871f

• Deduplicate code that transforms `Quote`, `Splice`, `Type.of`

  nicolasstucki

  committed
  966835b

  Copy full SHA for 966835b

Commits on May 2, 2023

• Cleanup

  nicolasstucki

  committed
  95c39bc

  Copy full SHA for 95c39bc

• Remove redundant case

  nicolasstucki

  committed
  0ca6066

  Copy full SHA for 0ca6066

• Refactor

  nicolasstucki

  committed
  e3735fa

  Copy full SHA for e3735fa

• Refactor quote cancellation logic

  nicolasstucki

  committed
  6956c43

  Copy full SHA for 6956c43

• Remove unnecessary quotation level change

  nicolasstucki

  committed
  859f6e6

  Copy full SHA for 859f6e6

• Add missing change of staging level

  nicolasstucki

  committed
  e4ddc88

  Copy full SHA for e4ddc88

• Simplify macroDependencies using level from context

  nicolasstucki

  committed
  7e8d2b1

  Copy full SHA for 7e8d2b1

• Fix typo

  nicolasstucki

  committed
  a3c657b

  Copy full SHA for a3c657b

• Refactor use of Quote

  nicolasstucki

  committed
  be3cd48

  Copy full SHA for be3cd48

• Do not traverse type trees to find inline method calls

  nicolasstucki

  committed
  7bd7c92

  Copy full SHA for 7bd7c92

• Remove post-condition that is already checked by Staging

  nicolasstucki

  committed
  b991b40

  Copy full SHA for b991b40

• Refactor quote pickling case

  nicolasstucki

  committed
  e611139

  Copy full SHA for e611139

• Cleanup

  nicolasstucki

  committed
  37200be

  Copy full SHA for 37200be

• Remove unnecessary widening

  nicolasstucki

  committed
  e75cafe

  Copy full SHA for e75cafe

• Apply suggestions from code review

  Show description for 9214daa
  

  nicolasstucki

  and

  smarter

  committed
  9214daa

  Copy full SHA for 9214daa