Some code takes both ~with_classes ~flags
like Hints.hint_res_pf
or Clenv.res_pf
. My problem is that flags.resolve_evars
seem to already control TC resolution. I think we should only keep one.
flags.resolve_evars raises an exn if it can't resolve everything (calls resolve_typeclasses ~fail:true
), but res_pf ~with_evars:true ~with_classes:true
doesn't
Last updated: Dec 07 2023 at 09:01 UTC