Code

Direct-style (DS) JS Backend#316

Code

Merged

b-studios merged 49 commits intomastereffekt-lang/effekt:masterfrom feature/ds-jseffekt-lang/effekt:feature/ds-jsCopy head branch name to clipboardDec 4, 2023

+2,136-708

Commits

Commits on Dec 1, 2023

• First draft of direct-style (DS) version of the JS backend

  b-studios

  committed
  59496d2

  Copy full SHA for 59496d2

• Support run

  b-studios

  committed
  6fe7bf4

  Copy full SHA for 6fe7bf4

• Use bind monad to work around JS limitations

  b-studios

  committed
  99e0009

  Copy full SHA for 99e0009

• Add try-catch around entrypoints

  b-studios

  committed
  6eef4de

  Copy full SHA for 6eef4de

• Implement free variables, once more...

  b-studios

  committed
  9a6f349

  Copy full SHA for 9a6f349

• debug free variables

  b-studios

  committed
  c6923f7

  Copy full SHA for c6923f7

• Refactor rename

  b-studios

  committed
  8c16835

  Copy full SHA for 8c16835

• Track locals explicitly

  b-studios

  committed
  92e52ea

  Copy full SHA for 92e52ea

• Emit continuations

  b-studios

  committed
  7dcd981

  Copy full SHA for 7dcd981

• Start translating handler

  b-studios

  committed
  73d390f

  Copy full SHA for 73d390f

• Support discarding the continuation

  b-studios

  committed
  1ea3705

  Copy full SHA for 1ea3705

• First support of resuming continuation

  b-studios

  committed
  9e10001

  Copy full SHA for 9e10001

• Minor improvements

  b-studios

  committed
  4871641

  Copy full SHA for 4871641

• Start working on lambda lifting (closures still need to be eta-expanded)

  b-studios

  committed
  8389346

  Copy full SHA for 8389346

• Implement lambda lifting

  b-studios

  committed
  6e2d08d

  Copy full SHA for 6e2d08d

• Start to support pattern matching

  b-studios

  committed
  c803500

  Copy full SHA for c803500

• Add some tests

  b-studios

  committed
  8da634b

  Copy full SHA for 8da634b

• Mark tests that rely on local mutable state, regions, or bidirectional effects

  b-studios

  committed
  22b1715

  Copy full SHA for 22b1715

• Implement local backtrackable mutable state

  b-studios

  committed
  cd357da

  Copy full SHA for cd357da

• Support regions

  b-studios

  committed
  9d4c748

  Copy full SHA for 9d4c748

• Support bidirectional effects

  b-studios

  committed
  dbff4c6

  Copy full SHA for dbff4c6

• Also rename types when testing for alpha equivalence

  b-studios

  committed
  86a448e

  Copy full SHA for 86a448e

• Move LambdaLifting to separate file

  b-studios

  committed
  bdb5c91

  Copy full SHA for bdb5c91

• Adapt Renamer to new structure of BlockParam

  b-studios

  committed
  1d113ea

  Copy full SHA for 1d113ea

• Stub compileSeparate and implement it later

  b-studios

  committed
  ee17b9a

  Copy full SHA for ee17b9a

Commits on Dec 2, 2023

• Make DS backend work with the website (note that these changes need to be mirrored there!)

  b-studios

  committed
  eaf9165

  Copy full SHA for eaf9165

• Add two simple lambda lifting tests

  b-studios

  committed
  5dbcab6

  Copy full SHA for 5dbcab6

Commits on Dec 3, 2023

• Fix some bugs in Renamer and simplify Optimizer

  b-studios

  committed
  2af69d7

  Copy full SHA for 2af69d7

• fix local non-recursive definitions in renamer

  b-studios

  committed
  42124ac

  Copy full SHA for 42124ac

• Transform binder in its scope, even though this is wrong

  b-studios

  committed
  1117134

  Copy full SHA for 1117134

• Add some optimizer tests

  b-studios

  committed
  99440a7

  Copy full SHA for 99440a7

• Fix one bug where inferred capture was not propagated

  b-studios

  committed
  0e5745b

  Copy full SHA for 0e5745b

• Also fix same bug for regions

  b-studios

  committed
  675ae60

  Copy full SHA for 675ae60

• Perform inlining only once and then iterate

  b-studios

  committed
  dcfa4ba

  Copy full SHA for dcfa4ba

• Add macro based tracing tool

  b-studios

  committed
  0ffeea3

  Copy full SHA for 0ffeea3

• Forgot file

  b-studios

  committed
  ce93739

  Copy full SHA for ce93739

Commits on Dec 4, 2023

• Slightly refactor optimizer

  b-studios

  committed
  5eff913

  Copy full SHA for 5eff913

• Fix inline full to not drop count

  b-studios

  committed
  beb1124

  Copy full SHA for beb1124

• Fix annotated free variables and avoid passing result twice

  b-studios

  committed
  cf05dbd

  Copy full SHA for cf05dbd

• Share common code between JS backends

  b-studios

  committed
  f86c82b

  Copy full SHA for f86c82b

• Prepare runtime to deal with tailcall trampolining

  b-studios

  committed
  cf73a03

  Copy full SHA for cf73a03

• Reify continuation

  b-studios

  committed
  cb22749

  Copy full SHA for cb22749

• Use effects to express tail calls (UNSOUND)

  b-studios

  committed
  ac865aa

  Copy full SHA for ac865aa

• Deprecate tail calls for now

  b-studios

  committed
  86b295a

  Copy full SHA for 86b295a

• Add while and continue

  b-studios

  committed
  a584793

  Copy full SHA for a584793

• Support obvious tail calls manually in JS

  b-studios

  committed
  c58a5da

  Copy full SHA for c58a5da

• Fix Renamer to conform to contract given in docs

  

  marzipankaiser

  authored and

  b-studios

  committed
  eea5266

  Copy full SHA for eea5266

• Drop unbind

  b-studios

  committed
  e9d56de

  Copy full SHA for e9d56de

• Reactive last failing test

  b-studios

  committed
  95d8d32

  Copy full SHA for 95d8d32