grain icon indicating copy to clipboard operation
grain copied to clipboard

Memory Leak in `printWasm.gr`

Open peblair opened this issue 3 years ago • 1 comments

These functions all leak memory at the moment. We should do one of the following:

  • Fix the memory leaks
  • Document the memory leaks (possibly acceptable, as these are intended for internal debugging as far as I understand).

peblair avatar Aug 10 '21 16:08 peblair

I think we should refactor these to not use pervasives and move them into runtime/debug so it's clear they're for debugging (and can leak all the memory they'd like).

ospencer avatar Aug 05 '22 02:08 ospencer

Done with #1481

ospencer avatar Dec 04 '22 20:12 ospencer