Make sure we have Hint Mode for every typeclass
We should have Hint Mode
for all our Class
es. We could detect this with some kind of shell script that greps for Class
, extracts the name, and then greps for Hint Mode
.
Currently known missing Mode
s:
-
IntoVal
-
Wp
-
Twp
Edited by Ralf Jung