Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Warn on usages of spy and spy' (#1691)
These functions should not remain in production code and only be used for debugging purposes only. This is how it is shown in my editor: ![image](https://github.com/user-attachments/assets/3e373c10-342f-40e3-ac4c-9f6375955626) ![image](https://github.com/user-attachments/assets/f7b500e9-3bf3-4bf1-b285-05c429a4986f) --- * [x] CHANGELOG update not needed * [x] Documentation update not needed * [x] Haddocks updated * [x] No new TODOs introduced
- Loading branch information