Eliminate some thunks in the simplifier.
While working on another MR I was looking at the core of the simplifier. I noticed produce thunks of the simpl env quite often.
It seems beneficial to force these eagerly instead. But let's see what CI says.
While working on another MR I was looking at the core of the simplifier. I noticed produce thunks of the simpl env quite often.
It seems beneficial to force these eagerly instead. But let's see what CI says.