Code

Deforest within the core language#180

Code

Merged

countvajhula merged 40 commits intodrym-org:deforest-all-the-thingsdrym-org/qi:deforest-all-the-thingsfrom countvajhula:deforestable-core-formcountvajhula/qi:deforestable-core-formCopy head branch name to clipboardAug 30, 2024

+738-486

Commits

Commits on Aug 3, 2024

• 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