Code

Stack safe recursion#259

Code

Draft

CAG2Mark wants to merge 76 commits intohkust-taco:hkmc2hkust-taco/mlscript:hkmc2from CAG2Mark:stack-safetyCAG2Mark/mlscript:stack-safetyCopy head branch name to clipboard

+2,978-79

Commits

Commits on Dec 8, 2024

• Changes IR

  AnsonYeung

  committed
  9e2c4cd

  Copy full SHA for 9e2c4cd

Commits on Dec 10, 2024

• initial changes

  CAG2Mark

  committed
  e7813a9

  Copy full SHA for e7813a9

• Update elaborator

  CAG2Mark

  committed
  4444d4e

  Copy full SHA for 4444d4e

• update lowering

  CAG2Mark

  committed
  4f26189

  Copy full SHA for 4f26189

• fix whitespace

  CAG2Mark

  committed
  942922d

  Copy full SHA for 942922d

• refactor some code

  CAG2Mark

  committed
  827c5e7

  Copy full SHA for 827c5e7

Commits on Dec 12, 2024

• Simplify test cases

  AnsonYeung

  committed
  eef7131

  Copy full SHA for eef7131

• Hide handlers behind a flag

  AnsonYeung

  committed
  5b26719

  Copy full SHA for 5b26719

Commits on Dec 16, 2024

• Implement transformation for non-resumptive effects

  AnsonYeung

  committed
  421b640

  Copy full SHA for 421b640

• Continuation class transformation

  Show description for 76695ba
  

  AnsonYeung

  and

  CAG2Mark

  committed
  76695ba

  Copy full SHA for 76695ba

• Port tests to new branch

  AnsonYeung

  committed
  2263ddf

  Copy full SHA for 2263ddf

• Resume non tail resumptive handlers

  AnsonYeung

  committed
  bdbee0a

  Copy full SHA for bdbee0a

Commits on Dec 17, 2024

• Implement final pieces for nested handlers

  AnsonYeung

  committed
  e9bab2b

  Copy full SHA for e9bab2b

• Implement Match codegen for multiple arms

  AnsonYeung

  committed
  4bb2d73

  Copy full SHA for 4bb2d73

• Moved most wiring code to Predef

  AnsonYeung

  committed
  7395b4c

  Copy full SHA for 7395b4c

Commits on Dec 19, 2024

• Changes to IR

  AnsonYeung

  committed
  5ef77f2

  Copy full SHA for 5ef77f2

• Changes IR

  AnsonYeung

  committed
  018dedd

  Copy full SHA for 018dedd

• Patch for JSBuilder

  AnsonYeung

  committed
  dac193e

  Copy full SHA for dac193e

• Fix link error

  AnsonYeung

  committed
  68be072

  Copy full SHA for 68be072

• Merge branch 'hkmc2' into ir-handler

  AnsonYeung

  committed
  ab69c37

  Copy full SHA for ab69c37

• Changes to handler syntax

  AnsonYeung

  committed
  6a71972

  Copy full SHA for 6a71972

Commits on Dec 20, 2024

• Add class inheritance in IR

  AnsonYeung

  committed
  ea621a9

  Copy full SHA for ea621a9

• Add class inheritance in IR and fixed spacing

  AnsonYeung

  committed
  d07371e

  Copy full SHA for d07371e

• Merge branch 'hkmc2' into ir-handler

  AnsonYeung

  committed
  6b74a07

  Copy full SHA for 6b74a07

• Remove unnecessary newline in JS Codegen

  AnsonYeung

  committed
  be15486

  Copy full SHA for be15486

• Random typo fix

  AnsonYeung

  committed
  db5aa6d

  Copy full SHA for db5aa6d

• Merge branch 'ir-handler' into ir-handler-transform

  AnsonYeung

  committed
  2b67aba

  Copy full SHA for 2b67aba

• Small fix

  AnsonYeung

  committed
  ef1eabc

  Copy full SHA for ef1eabc

Commits on Dec 21, 2024

• Add mildly interesting test

  LPTK

  committed
  61d2a27

  Copy full SHA for 61d2a27

• Add more test cases and reveal some issues

  LPTK

  committed
  564f020

  Copy full SHA for 564f020

• Merge branch 'hkmc2' into ir-handler-transform

  AnsonYeung

  committed
  9bc81df

  Copy full SHA for 9bc81df

Commits on Dec 24, 2024

• Use subclass for effect and separate internal class

  AnsonYeung

  committed
  4905f8a

  Copy full SHA for 4905f8a

• Change how elaboration of handlers work

  AnsonYeung

  committed
  c66c73d

  Copy full SHA for c66c73d

• add test

  CAG2Mark

  committed
  f876483

  Copy full SHA for f876483

Commits on Dec 25, 2024

• Fixed one example

  AnsonYeung

  committed
  879eece

  Copy full SHA for 879eece

• add minimal example of effects in handler bug

  CAG2Mark

  committed
  f4e728e

  Copy full SHA for f4e728e

• Fixed another test

  AnsonYeung

  committed
  643ec6f

  Copy full SHA for 643ec6f

• Fix missing thisProxy

  AnsonYeung

  committed
  dc516cd

  Copy full SHA for dc516cd

• Fix generator

  AnsonYeung

  committed
  e6cd1ec

  Copy full SHA for e6cd1ec

• Fix typo

  AnsonYeung

  committed
  8a6d15c

  Copy full SHA for 8a6d15c

Commits on Dec 27, 2024

• Fix function calls and clases sometimes not being in scope after transformation

  CAG2Mark

  committed
  2e07058

  Copy full SHA for 2e07058

• Update hkmc2/shared/src/test/mlscript/handlers/RecursiveHandlers.mls

  Show description for 6339e8b
  

  CAG2Mark

  and

  LPTK

  authored
  6339e8b

  Copy full SHA for 6339e8b

• Update hkmc2/shared/src/main/scala/hkmc2/codegen/HandlerLowering.scala

  Show description for a2900ec
  

  CAG2Mark

  and

  LPTK

  authored
  a2900ec

  Copy full SHA for a2900ec

Commits on Dec 31, 2024

• set up infrastructure

  CAG2Mark

  committed
  7596cf3

  Copy full SHA for 7596cf3

Commits on Jan 6, 2025

• Changed and added broken test

  AnsonYeung

  committed
  4b837eb

  Copy full SHA for 4b837eb

• Update tests

  AnsonYeung

  committed
  0864f27

  Copy full SHA for 0864f27

• Minor style changes (? debatable improvement)

  LPTK

  committed
  e6a819b

  Copy full SHA for e6a819b

Commits on Jan 7, 2025

• Fix elaboration scoping

  AnsonYeung

  committed
  af17307

  Copy full SHA for af17307

• Merge branch 'hkmc2' into ir-handler-transform

  AnsonYeung

  committed
  08a4d4c

  Copy full SHA for 08a4d4c

• Fixed some bugs

  AnsonYeung

  committed
  2da74c0

  Copy full SHA for 2da74c0

• Fix consistency

  AnsonYeung

  committed
  80e9fba

  Copy full SHA for 80e9fba

• Fixed comments

  AnsonYeung

  committed
  964c146

  Copy full SHA for 964c146

• initial

  CAG2Mark

  committed
  6722e1a

  Copy full SHA for 6722e1a

• Merge branch 'ir-handler-transform' into stack-safety

  CAG2Mark

  committed
  edee182

  Copy full SHA for edee182

• move helper function outside

  CAG2Mark

  committed
  b8c6120

  Copy full SHA for b8c6120

• Merge branch 'ir-handler-transform' into stack-safety

  CAG2Mark

  committed
  9dfc35d

  Copy full SHA for 9dfc35d

• initial stack safety working

  CAG2Mark

  committed
  cb68929

  Copy full SHA for cb68929

• fix return leaked

  CAG2Mark

  committed
  eb71e32

  Copy full SHA for eb71e32

• remove fixme

  CAG2Mark

  committed
  fe076e3

  Copy full SHA for fe076e3

• update test

  CAG2Mark

  committed
  67617c1

  Copy full SHA for 67617c1

Commits on Jan 8, 2025

• Remove usage of dummy class symbol

  AnsonYeung

  committed
  2393ea5

  Copy full SHA for 2393ea5

Commits on Jan 10, 2025

• Remove some unused code

  AnsonYeung

  committed
  810a639

  Copy full SHA for 810a639

• Merge branch 'hkmc2' into ir-handler-transform

  AnsonYeung

  committed
  74fb276

  Copy full SHA for 74fb276

• revert parser workaround

  AnsonYeung

  committed
  b04031a

  Copy full SHA for b04031a

• predef clean up

  AnsonYeung

  committed
  e8113c7

  Copy full SHA for e8113c7

• Simplify Predef

  AnsonYeung

  committed
  78f6f54

  Copy full SHA for 78f6f54

• Rewriting most of Predef for clean up

  AnsonYeung

  committed
  d3fedd2

  Copy full SHA for d3fedd2

• Change test case to todo

  AnsonYeung

  committed
  b30d8ca

  Copy full SHA for b30d8ca

Commits on Jan 11, 2025

• remove unused code

  AnsonYeung

  committed
  c9057ea

  Copy full SHA for c9057ea

Commits on Jan 13, 2025

• Merge branch 'hkmc2' into ir-handler-transform

  AnsonYeung

  committed
  4b73be5

  Copy full SHA for 4b73be5

• Added codegen examples

  AnsonYeung

  committed
  235a6ec

  Copy full SHA for 235a6ec

• use SymbolSubst

  CAG2Mark

  committed
  ed895eb

  Copy full SHA for ed895eb

• Update tests

  CAG2Mark

  committed
  be37739

  Copy full SHA for be37739

• fix whitespace

  CAG2Mark

  committed
  b8d0da8

  Copy full SHA for b8d0da8

• Fix symbol map issues

  CAG2Mark

  committed
  7da8101

  Copy full SHA for 7da8101

• Merge upstream

  CAG2Mark

  committed
  41105c1

  Copy full SHA for 41105c1