Skip to content

Eliminate some thunks in the simplifier.

Andreas Klebinger requested to merge wip/andreask/opt_simpl into master

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.

Edited by Andreas Klebinger

Merge request reports