Code

Only inline into active positions#695

Code

Merged

b-studios merged 65 commits intomastereffekt-lang/effekt:masterfrom feature/micropasseseffekt-lang/effekt:feature/micropassesCopy head branch name to clipboardJan 4, 2025

+1,059-599

Commits

Commits on Nov 14, 2024

• Start micropasses by binding subexpressions

  b-studios

  committed
  388790e

  Copy full SHA for 388790e

Commits on Nov 15, 2024

• Add simple normalizer

  b-studios

  committed
  8e332f3

  Copy full SHA for 8e332f3

Commits on Nov 17, 2024

• If no info assume non-recursive

  b-studios

  committed
  c88cbfe

  Copy full SHA for c88cbfe

• Very hackily establish Barendregdt while keeping usage information

  b-studios

  committed
  38e0356

  Copy full SHA for 38e0356

Commits on Nov 18, 2024

• Do not inline side effecting expressions

  b-studios

  committed
  b6f2c6b

  Copy full SHA for b6f2c6b

Commits on Nov 22, 2024

• Replace reachability by very strange ad-hoc test

  b-studios

  committed
  12332c0

  Copy full SHA for 12332c0

• Merge branch 'master' into feature/micropasses

  b-studios

  committed
  299d8dd

  Copy full SHA for 299d8dd

• Merge branch 'master' into feature/micropasses

  b-studios

  committed
  3ea9f0e

  Copy full SHA for 3ea9f0e

Commits on Dec 23, 2024

• JS runtime: Extract RESUME function (#708)

  Show description for 606713e
  

  dvdvgt

  and

  b-studios

  committed
  606713e

  Copy full SHA for 606713e

• Bump version to 0.11.0

  

  effekt-updater[bot]

  authored and

  b-studios

  committed
  cd82767

  Copy full SHA for cd82767

• Refactor 'stream', add a few examples (#705)

  Show description for 6f63dde
  

  2 peopleauthored and

  b-studios

  committed
  6f63dde

  Copy full SHA for 6f63dde

• Bump version to 0.12.0

  

  effekt-updater[bot]

  authored and

  b-studios

  committed
  48a6844

  Copy full SHA for 48a6844

• Remove flag from %StackValue (#721)

  Show description for cee823c
  

  serkm

  authored and

  b-studios

  committed
  cee823c

  Copy full SHA for cee823c

• Use noalias on StackValues (#704)

  Show description for 31c30ba
  

  2 peopleauthored and

  b-studios

  committed
  31c30ba

  Copy full SHA for 31c30ba

• Bump version to 0.13.0

  

  effekt-updater[bot]

  authored and

  b-studios

  committed
  9538871

  Copy full SHA for 9538871

• Cherry-pick inlining fix from #725 (#730)

  Show description for 60e4d6f
  

  2 peopleauthored and

  b-studios

  committed
  60e4d6f

  Copy full SHA for 60e4d6f

• Implemented count function for Lists (#729)

  Show description for 4321576
  

  JakubSchwenkbeck

  authored and

  b-studios

  committed
  4321576

  Copy full SHA for 4321576

• Add new escapes to 'string/tty', rename to 'tty', deprecate ANSI namespace (#728)

  Show description for 31c6c45
  

  jiribenes

  authored and

  b-studios

  committed
  31c6c45

  Copy full SHA for 31c6c45

• Allow importing JS-specific Effekt libraries on jsWeb backend (#738)

  Show description for a6f0cbc
  

  jiribenes

  authored and

  b-studios

  committed
  a6f0cbc

  Copy full SHA for a6f0cbc

• Fix lexing of ' (#742)

  Show description for 2f04eb0
  

  dvdvgt

  authored and

  b-studios

  committed
  2f04eb0

  Copy full SHA for 2f04eb0

• Make sure unique name is actually fresh (#741)

  Show description for 81e101c
  

  phischu

  authored and

  b-studios

  committed
  81e101c

  Copy full SHA for 81e101c

• Revert "Cherry-pick inlining fix from #725" (#745)

  Show description for edf54b9
  

  jiribenes

  authored and

  b-studios

  committed
  edf54b9

  Copy full SHA for edf54b9

• Add a regression check for #692 (#693)

  Show description for 513a87d
  

  jiribenes

  authored and

  b-studios

  committed
  513a87d

  Copy full SHA for 513a87d

• Do not abort after successful compilation on js-web (#747)

  Show description for cd25de4
  

  jiribenes

  authored and

  b-studios

  committed
  cd25de4

  Copy full SHA for cd25de4

• Bump version to 0.14.0

  

  effekt-updater[bot]

  authored and

  b-studios

  committed
  74183d1

  Copy full SHA for 74183d1

• Stdlib: Add simple libraries: Scanner, Json (#631)

  Show description for 98fef09
  

  2 peopleauthored and

  b-studios

  committed
  98fef09

  Copy full SHA for 98fef09

• Update/kiama lsp (#753)

  Show description for f308756
  b-studios

  committed
  f308756

  Copy full SHA for f308756

• Add 'show' for 'Byte' on JavaScript (#752)

  Show description for 4394f41
  

  CanCodes

  authored and

  b-studios

  committed
  4394f41

  Copy full SHA for 4394f41

• Fixes #733 by bringing the rewritten definitions into scope, instead of old ones (#754)

  Show description for 7b52e89
  

  b-studios

  and

  jiribenes

  committed
  7b52e89

  Copy full SHA for 7b52e89

• Bump version to 0.15.0

  

  effekt-updater[bot]

  authored and

  b-studios

  committed
  f49a2a6

  Copy full SHA for f49a2a6

• Remove tailresumption (requires normalization AFTER deadcode)

  b-studios

  committed
  2e8f07b

  Copy full SHA for 2e8f07b

• Go back to usage instead of ad hoc cycle detection

  b-studios

  committed
  968fb97

  Copy full SHA for 968fb97

• Don't inline accidentally

  b-studios

  committed
  38a96a0

  Copy full SHA for 38a96a0

Commits on Dec 24, 2024

• Try to improve precision of reachability analysis

  b-studios

  committed
  e40edb7

  Copy full SHA for e40edb7

• Inline functions used once, anyways

  b-studios

  committed
  93e81a0

  Copy full SHA for 93e81a0

• Add timing

  b-studios

  committed
  56e18c3

  Copy full SHA for 56e18c3

Commits on Dec 25, 2024

• Clean up a bit an separate out tailresumption optimization

  b-studios

  committed
  52c1b74

  Copy full SHA for 52c1b74

• Replace inliner by normalizer

  b-studios

  committed
  b6050a4

  Copy full SHA for b6050a4

• Move optimization related phases to effekt.core.optimizer

  b-studios

  committed
  d44618f

  Copy full SHA for d44618f

• Merge branch 'master' into feature/micropasses

  b-studios

  committed
  c789002

  Copy full SHA for c789002

• Comment in JS tests again

  b-studios

  committed
  aca6d03

  Copy full SHA for aca6d03

• Comment in test that is fixed accidentally by inlining unique definitions

  b-studios

  committed
  bfdb32c

  Copy full SHA for bfdb32c

• Clean up optimizer a bit

  b-studios

  committed
  0655a2d

  Copy full SHA for 0655a2d

• Try to update usage information when reducing

  b-studios

  committed
  cf88bde

  Copy full SHA for cf88bde

• Remove usage if it drops to zero

  b-studios

  committed
  187ba4c

  Copy full SHA for 187ba4c

Commits on Dec 26, 2024

• Remove empty continuations

  b-studios

  committed
  84f1db6

  Copy full SHA for 84f1db6

• Expand documentation

  b-studios

  committed
  6c20394

  Copy full SHA for 6c20394

• Make show non-lazy

  b-studios

  committed
  b4716d1

  Copy full SHA for b4716d1

• Remove unnecessary abstraction

  b-studios

  committed
  0718d60

  Copy full SHA for 0718d60

Commits on Dec 27, 2024

• Drop bindings in JS

  b-studios

  committed
  b5dcaef

  Copy full SHA for b5dcaef

• Eta reduce under run

  b-studios

  committed
  f27430a

  Copy full SHA for f27430a

Commits on Dec 28, 2024

• Normalize vals and lets

  b-studios

  committed
  02ed4f6

  Copy full SHA for 02ed4f6

• Fix capture computation in static argument transform

  b-studios

  committed
  49ef879

  Copy full SHA for 49ef879

Commits on Jan 2, 2025

• Insert explicit boxing and unboxing as foreign-calls in machine

  b-studios

  committed
  5514bdb

  Copy full SHA for 5514bdb

Commits on Jan 3, 2025

• Flatten val-val

  b-studios

  committed
  084b834

  Copy full SHA for 084b834

• Boxing is not an active position

  b-studios

  committed
  292771c

  Copy full SHA for 292771c

• Fix machine to handle 'def x = unbox v' correctly

  b-studios

  committed
  f9127e2

  Copy full SHA for f9127e2

• Also unbox before running

  b-studios

  committed
  ee95c18

  Copy full SHA for ee95c18

• Remove dependency of other modules on Normalizer

  b-studios

  committed
  e271ecf

  Copy full SHA for e271ecf

• Document speedups of DropBindings

  b-studios

  committed
  5b1bbb4

  Copy full SHA for 5b1bbb4

• Merge branch 'master' into feature/micropasses

  b-studios

  committed
  bf00cb0

  Copy full SHA for bf00cb0

Commits on Jan 4, 2025

• Ignore segfaulting test

  b-studios

  committed
  854e4b9

  Copy full SHA for 854e4b9

• Refactor active

  b-studios

  committed
  59ad8a0

  Copy full SHA for 59ad8a0

• Commute region allocation and val

  b-studios

  committed
  b252102

  Copy full SHA for b252102

• Ignore modifyat and update at (#758)

  b-studios

  committed
  1f1ace4

  Copy full SHA for 1f1ace4