Commit 2019-11-23 00:15 f86abc77
View on Github →fix(*): lower instance priority (#1724)
- fix(*): lower instance priority
use lower instance priority for instances that always apply
also do this for automatically generated instances using the
extend
keyword also add a comment to most places where we short-circuit type-class inference. This can lead to greatly increased search times (see issue #1561), so we might want to delete some/all of them. - put default_priority option inside section Default priority also applies to all instances, not just automatically-generates ones the scope of set_option is limited to a section
- two more low priorities
- fix some broken proofs
- fix proof
- more fixes
- more fixes
- increase max_depth a bit
- update notes
- fix linter issues