Some code takes both
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