Skip to content

Use `refine` for `Frame` base cases.

Robbert Krebbers requested to merge robbert/frame_new_unification into master

This is an alternative for !916 (closed).

Instead of factoring out the uses of unification via a Unify type class with a single Hint Extern, this MR just turns the iFrame base instances into Hint Extern.

Would be useful to run timing to see if this does not suffer from the same performance problems as !916 (closed).

Merge request reports