mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-18 07:15:19 +00:00
Estimated hours taken: 1 Delete old bootstrapping code. runtime/mercury_ho_call.c: Delete code to handle old closure representations. runtime/mercury_type_info.h: runtime/mercury_type_info.c: runtime/mercury_deep_copy_body.h: runtime/mercury_tabling.c: Delete code to handle old RTTI representations. runtime/mercury_grade.h: Increment the binary compatibility version number. This is needed to ensure that any code compiled with the old closure or RTTI representations will get a link error. compiler/notes/release_checklist.html: Delete the item about deleting code to handle old closure representations, since it has been done now. (Also delete the item about muz, since that has been done now too.)