cakeml
cakeml copied to clipboard
Make unverified register allocator print function names
This should involve modify unverified/reg_alloc/reg_alloc.sml (and files that use it) to print the relevant names instead of the function index.
Suggested by @myreen