Optimize shape inference

Open lukstafi opened this issue 2 years ago • 1 comments

The size of environments grows too big -- too many row variables. Maybe also consider hashconsing for computing substitutions.

Oct 05 '23 14:10 lukstafi

The debug logs file is already much shorter with passing around only the single-propagation environment, which was independently required to not pollute projections across propagation steps. So maybe no work needed here?

Oct 06 '23 10:10 lukstafi