Code

Stack safe recursion#259

Code

Merged

LPTK merged 130 commits intohkust-taco:hkmc2hkust-taco/mlscript:hkmc2from CAG2Mark:stack-safetyCAG2Mark/mlscript:stack-safetyCopy head branch name to clipboardJan 24, 2025

+1,171-244

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

Commits on Jan 14, 2025

• Fix overriding hack

  LPTK

  committed
  21843b4

  Copy full SHA for 21843b4

• Address PR comments

  CAG2Mark

  committed
  862bd6a

  Copy full SHA for 862bd6a

• Address PR comments

  CAG2Mark

  committed
  ac70aea

  Copy full SHA for ac70aea

• Fix inaccurate inheritance clause.

  LPTK

  committed
  051bc09

  Copy full SHA for 051bc09

• style change

  AnsonYeung

  committed
  e4f4922

  Copy full SHA for e4f4922

• revert whitespace change

  CAG2Mark

  committed
  b89eb90

  Copy full SHA for b89eb90

• Merge branch 'ir-handler-transform' of github.com:CAG2Mark/mlscript into ir-handler-transform

  CAG2Mark

  committed
  b22ac0b

  Copy full SHA for b22ac0b

Commits on Jan 15, 2025

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

  AnsonYeung

  committed
  05a8623

  Copy full SHA for 05a8623

Commits on Jan 16, 2025

• Eliminate many tail calls to Lowering#term to reduce stack usage

  LPTK

  committed
  2b3e83e

  Copy full SHA for 2b3e83e

• Make Handle a statement, as it should be

  LPTK

  committed
  e901993

  Copy full SHA for e901993

• merge from ir-handler-transform

  CAG2Mark

  committed
  3131154

  Copy full SHA for 3131154

• preserve tail-calls

  CAG2Mark

  committed
  e8c690f

  Copy full SHA for e8c690f

• deal with lambdas, logic fixes

  CAG2Mark

  committed
  0c5d205

  Copy full SHA for 0c5d205

• fix some cases, don't optimise trivial fns

  CAG2Mark

  committed
  5d54505

  Copy full SHA for 5d54505

• initial merge

  CAG2Mark

  committed
  a6cdfc9

  Copy full SHA for a6cdfc9

• fix merge

  CAG2Mark

  committed
  8a1af99

  Copy full SHA for 8a1af99

• Clean up

  CAG2Mark

  committed
  edbbe95

  Copy full SHA for edbbe95

• merge from ir-handler-transform

  CAG2Mark

  committed
  944f499

  Copy full SHA for 944f499

Commits on Jan 22, 2025

• merge from hkmc2

  CAG2Mark

  committed
  c1816ce

  Copy full SHA for c1816ce

• clean up and document floatOutDefns

  CAG2Mark

  committed
  45d3e1d

  Copy full SHA for 45d3e1d

• Merge from hkmc2

  CAG2Mark

  committed
  d0bac71

  Copy full SHA for d0bac71

• complete refactor

  CAG2Mark

  committed
  68d7a2b

  Copy full SHA for 68d7a2b

• fix some things and clean up

  CAG2Mark

  committed
  a812181

  Copy full SHA for a812181

• merge hkmc2

  CAG2Mark

  committed
  c2ce877

  Copy full SHA for c2ce877

• merge hkmc2

  CAG2Mark

  committed
  9f94638

  Copy full SHA for 9f94638

• update tests

  CAG2Mark

  committed
  5460729

  Copy full SHA for 5460729

Commits on Jan 23, 2025

• Add problematic test cases

  LPTK

  committed
  2ef0f4e

  Copy full SHA for 2ef0f4e

• fix one bug

  CAG2Mark

  committed
  1dafc9c

  Copy full SHA for 1dafc9c

• Merge branch 'hkmc2' into stack-safety

  CAG2Mark

  committed
  2bdb70a

  Copy full SHA for 2bdb70a

• update tests

  CAG2Mark

  committed
  23768b3

  Copy full SHA for 23768b3

• Style fix and remove symbol.defn

  AnsonYeung

  committed
  7f6378e

  Copy full SHA for 7f6378e

• changes to transformation code

  AnsonYeung

  committed
  f259fe3

  Copy full SHA for f259fe3

• update tests

  CAG2Mark

  committed
  ab55e5a

  Copy full SHA for ab55e5a

• Fix top level effectful check

  AnsonYeung

  committed
  70c502d

  Copy full SHA for 70c502d

• revert scratch changes

  AnsonYeung

  committed
  c93e844

  Copy full SHA for c93e844

• revert scratch changes

  AnsonYeung

  committed
  8baa3fc

  Copy full SHA for 8baa3fc

• Add broken test

  AnsonYeung

  committed
  5470a9e

  Copy full SHA for 5470a9e

• Fix unhandled tail call optimization case

  AnsonYeung

  committed
  aae14de

  Copy full SHA for aae14de

• Increased depth

  AnsonYeung

  committed
  434b705

  Copy full SHA for 434b705

• Update obselete comment

  AnsonYeung

  committed
  8dcd3de

  Copy full SHA for 8dcd3de

• Removed comment

  AnsonYeung

  committed
  5beec3c

  Copy full SHA for 5beec3c

• Fix transformation code

  AnsonYeung

  committed
  4e2f460

  Copy full SHA for 4e2f460

• Change comment to match codegen

  AnsonYeung

  committed
  203fcf0

  Copy full SHA for 203fcf0

• Minor changes

  AnsonYeung

  committed
  8275e31

  Copy full SHA for 8275e31

• address PR comments

  CAG2Mark

  committed
  692dfb9

  Copy full SHA for 692dfb9

• remove obselete comment

  CAG2Mark

  committed
  dfaab8e

  Copy full SHA for dfaab8e

• remove symbol remapping code due to symbol refactor

  CAG2Mark

  committed
  c2099a2

  Copy full SHA for c2099a2

• make stack limit a variable

  CAG2Mark

  committed
  39050cd

  Copy full SHA for 39050cd

• Removed fixme

  AnsonYeung

  committed
  e3630b6

  Copy full SHA for e3630b6

Commits on Jan 24, 2025

• Make minor improvements

  LPTK

  committed
  cb8b917

  Copy full SHA for cb8b917

• address PR comments

  CAG2Mark

  committed
  1f1ce3f

  Copy full SHA for 1f1ce3f

• add parameter names to llirdiffmaker

  CAG2Mark

  committed
  8d92050

  Copy full SHA for 8d92050

• Fix constructor bug and add broken test

  AnsonYeung

  committed
  ea34066

  Copy full SHA for ea34066

• Added comment for HandlerCtx

  AnsonYeung

  committed
  9d1ef86

  Copy full SHA for 9d1ef86