20.12Annotations We Might Want in the Future

•target-invalid

the target might have changed (registers, heap contents, or execution status). For performance, we might eventually want to hit registers-invalid and all-registers-invalid with greater precision

•systematic annotation for set/show parameters (including invalidation notices).

•similarly, `info' returns a list of candidates for invalidation notices.

20.12 Annotations We Might Want in the Future 305