Code

Deforest within the core language#2

Code

Closed

countvajhula wants to merge 61 commits intodzoep:racket-list-deforestationdzoep/qi:racket-list-deforestationfrom countvajhula:deforestable-core-formcountvajhula/qi:deforestable-core-formCopy head branch name to clipboard

+1,971-1,228

Commits

Commits on Aug 3, 2024

• List-ref and cad*r deforestation

  Show description for 451e032
  

  dzoep

  authored and

  countvajhula

  committed
  451e032

• Deforestation of length, empty?, and null?.

  

  dzoep

  authored and

  countvajhula

  committed
  e1682d5

• Deforest filter-map.

  

  dzoep

  authored and

  countvajhula

  committed
  fdcf153

• Pass deforested operation name in cad*r-cstream-next.

  

  dzoep

  authored and

  countvajhula

  committed
  be2c5e3

• Fix failing car-deforested? test.

  

  dzoep

  authored and

  countvajhula

  committed
  ff12d36

• Cleaner syntax matching and production separation.

  Show description for 860beeb
  

  dzoep

  authored and

  countvajhula

  committed
  860beeb

• Split compiler passes into separate modules.

  Show description for ffb8892
  

  dzoep

  authored and

  countvajhula

  committed
  ffb8892

• Move deforestation infrastructure into passes subdirectory.

  

  dzoep

  authored and

  countvajhula

  committed
  8fdc35e

• Finish fixing all the things broken by the rebase.

  

  dzoep

  authored and

  countvajhula

  committed
  a62e930

• Improve directory and module naming

  Show description for 54e32fc
  

  dzoep

  authored and

  countvajhula

  committed
  54e32fc

• Deforest take with boxes.

  

  dzoep

  authored and

  countvajhula

  committed
  a009e67

• Implement proper state cons-ing for take.

  

  dzoep

  authored and

  countvajhula

  committed
  b44d971

• Add source syntax context to transformer composition.

  

  dzoep

  authored and

  countvajhula

  committed
  967313d

• New qi/list bindings and their literal matching, stateful transformers fixes and tests for them.

  

  dzoep

  authored and

  countvajhula

  committed
  5ca9dab

• Deforestation: rename all fusable stream syntax classes to fs[PTC]-syntax and do not provide them.

  

  dzoep

  authored and

  countvajhula

  committed
  600c1e6

• Fix tests of qi/list - use the new bindings.

  

  dzoep

  authored and

  countvajhula

  committed
  f7bcfc1

• Split bindings module and add appropriate scribblings.

  Show description for de25f55
  

  dzoep

  authored and

  countvajhula

  committed
  de25f55

• Update PR#175 with all the changes agreed upon at the weekly Qi compiler meeting on 2024-06-21.

  Show description for 2f3085b
  

  dzoep

  authored and

  countvajhula

  committed
  2f3085b

• Fix phase shifting for fusion.rkt module.

  

  dzoep

  authored and

  countvajhula

  committed
  5edcb46

• Add attach-form-property to both places needed by current deforestation (CPS) implementation.

  

  dzoep

  authored and

  countvajhula

  committed
  82e13fc

• Remove unused require

  countvajhula

  committed
  ca711e5

• Introduce a #%deforestable core form

  Show description for 4ab74b5
  countvajhula

  committed
  4ab74b5

• support basic cases of filter, map, foldl, foldr and range

  countvajhula

  committed
  e377b31

• a couple more tests for range

  countvajhula

  committed
  41dc2a8

• formatting..

  countvajhula

  committed
  7aae49f

• temporarily comment out some tests

  countvajhula

  committed
  983f008

• register deforestation pass in core

  countvajhula

  committed
  bad2f56

• Simplify #%deforestable syntax initially

  Show description for aa02873
  countvajhula

  committed
  aa02873

• modify benchmarks and tests to work with simplified range syntax

  countvajhula

  committed
  a4f6d48

• Match #%deforestable in deforesting map and filter

  Show description for bffe957
  countvajhula

  committed
  bffe957

• Remove tests that ensure only right-threading is deforested

  Show description for 549159a
  countvajhula

  committed
  549159a

• Match #%deforestable in foldl and foldr

  countvajhula

  committed
  9242413

• Match #%deforestable in deforesting car

  countvajhula

  committed
  56b06d8

• Use #%deforestable in cadr, caddr, cadddr

  countvajhula

  committed
  488a283

• Use #%deforestable in list-ref

  countvajhula

  committed
  7205bf3

• Use #%deforestable in length

  countvajhula

  committed
  0613ab5

• Use #%deforestable in empty? and null?

  countvajhula

  committed
  2cb4bd3

• Write filter-map as a macro expanding to #%deforestable

  countvajhula

  committed
  7dafd63

• Match #%deforestable in deforesting take instead of a host expression

  countvajhula

  committed
  f1b90ff

• simplify range syntax matching for now

  countvajhula

  committed
  44e10e0

• mysterious fix for test errors

  countvajhula

  committed
  26dfee6

• lint..

  countvajhula

  committed
  862c42a

• A few basic tests for deforested forms

  countvajhula

  committed
  a6078b8

• Codegen floe positions in #%deforestable

  Show description for dc6c29b
  countvajhula

  committed
  dc6c29b

• New syntax for #%deforestable distinguishing floe positions

  Show description for fe81b7f
  countvajhula

  committed
  fe81b7f

• Use the new #%deforestable syntax

  countvajhula

  committed
  958fe14

• Compile higher-order floe positions in deforestation pass

  Show description for 6efff74
  countvajhula

  committed
  6efff74

Commits on Aug 8, 2024

• Surface tests for qi/list forms

  countvajhula

  committed
  d43d0e0

• Incorporate deforestation semantics tests into surface qi/list tests

  Show description for d2c3bc2
  countvajhula

  committed
  d2c3bc2

• remove copypasta test

  countvajhula

  committed
  90c0cb8

• Test list forms using higher-order Qi syntax

  countvajhula

  committed
  64a2c70

• Remove unused module providing bindings for deforestation

  Show description for 75ebf77
  countvajhula

  committed
  75ebf77

• Fix syntax error in benchmarks

  Show description for 493f121
  countvajhula

  committed
  493f121

Commits on Aug 9, 2024

• test the expansion of #%deforestable

  countvajhula

  committed
  6155859

• Test syntax error using range with no arguments

  countvajhula

  committed
  6b497de

• Tests for list-ref

  countvajhula

  committed
  e699f41

• Add a test for a syntax error utility

  Show description for 04a71dd
  countvajhula

  committed
  04a71dd

• Modify a range test to use syntax with an explicit bound argument

  Show description for 625cda8
  countvajhula

  committed
  625cda8

• Update deforestation rules tests

  Show description for 716a68a
  countvajhula

  committed
  716a68a

Commits on Aug 11, 2024

• Add a commented-out failing test for a case of desired deforestation

  Show description for 2bd0f6e
  countvajhula

  committed
  2bd0f6e

• refile the failing test (it now passes)

  countvajhula

  committed
  85d29b8