OCamlPro / flambda-task-force

13 stars 1 forks source link

Allow statically-allocated mutable blocks #141

Open mshinwell opened 8 years ago

mshinwell commented 8 years ago

At least two changes need doing on top of the existing small patch for this:

  1. Permit Let_symbol / Initialise_symbol contents to be mutable
  2. Permit lifting of mutable things to those constructs

We will need to ask Damien for help to make sure this is ok.