Issues

• Polls in loops can create control flow invisible at the Flambda level

  ocaml-flambda/ocaml#568 · Filter by author lthls opened on Jul 17, 2021
  1

• Notes on cmx loading and saving in Lambda_to_flambda

  ocaml-flambda/ocaml#558 · Filter by author lthls opened on Jul 13, 2021

• Simplify doesn't seem to like symbol grouping from Lambda_to_flambda

  ocaml-flambda/ocaml#542 · Filter by author Keryan-dev opened on Jul 6, 2021

• Improve compilation speed

  ux
  ocaml-flambda/ocaml#488 · Filter by author mshinwell opened on Jun 21, 2021
  

• raise_notrace with variant unboxing doesn't work

  bug
  ocaml-flambda/ocaml#487 · Filter by author mshinwell opened on Jun 21, 2021
  1

  

• Misleading location for warnings related to inlining

  ocaml-flambda/ocaml#430 · Filter by author Gbury opened on May 5, 2021

• Aliases and element ordering

  bug
  ocaml-flambda/ocaml#392 · Filter by author lthls opened on Apr 6, 2021

• Check JS example that needs the block size limit to see if excess equations are building up in the typing env.

  ocaml-flambda/ocaml#272 · Filter by author mshinwell opened on Sep 29, 2020

• Row_like etc

  ocaml-flambda/ocaml#270 · Filter by author mshinwell opened on Sep 28, 2020

• Make a plan for sorting out the "prove_..." functions

  ocaml-flambda/ocaml#266 · Filter by author mshinwell opened on Sep 9, 2020
  

• Design doc for tag/size annotations on blocks

  ocaml-flambda/ocaml#263 · Filter by author mshinwell opened on Sep 9, 2020
  

• Consider a new and simpler representation of variant matches throughout the compiler

  ocaml-flambda/ocaml#262 · Filter by author mshinwell opened on Sep 9, 2020

• Try doing inlining on the upwards pass of Simplify

  ocaml-flambda/ocaml#261 · Filter by author mshinwell opened on Sep 9, 2020

• Improve toplevel lifting criterion

  ocaml-flambda/ocaml#247 · Filter by author mshinwell opened on Aug 25, 2020
  1

• Testing with more than one round of Simplify

  ocaml-flambda/ocaml#223 · Filter by author mshinwell opened on Jul 27, 2020
  1

• Phantom continuation parameters

  ocaml-flambda/ocaml#222 · Filter by author mshinwell opened on Jul 23, 2020
  1

• Investigate feasability of bytecode backend

  ocaml-flambda/ocaml#220 · Filter by author lthls opened on Jul 23, 2020

• Properly implement Hint_inline

  ocaml-flambda/ocaml#211 · Filter by author mshinwell opened on Jul 16, 2020

• Coverage testing (how?)

  testing
  ocaml-flambda/ocaml#209 · Filter by author mshinwell opened on Jul 14, 2020
  2

  

• First set of design docs

  ocaml-flambda/ocaml#204 · Filter by author mshinwell opened on Jul 9, 2020
  

• Exceptions design doc

  ocaml-flambda/ocaml#203 · Filter by author mshinwell opened on Jul 9, 2020
  

• References to "include"d functor applications from other units causing closure allocations (Slack discussion 2020-06-30.)

  ocaml-flambda/ocaml#198 · Filter by author mshinwell opened on Jul 1, 2020
  2

• Removal of dominator-scoped symbols, etc.

  ocaml-flambda/ocaml#193 · Filter by author mshinwell opened on Jun 26, 2020
  1

  

• Detect and remove unreachable code

  ocaml-flambda/ocaml#192 · Filter by author lthls opened on Jun 26, 2020

• Think about problem where closure vars aren't getting removed because an older version of the function uses them even though it can never end up taking the new closure

  ocaml-flambda/ocaml#191 · Filter by author mshinwell opened on Jun 26, 2020