Skip to content

When should IndexLambda fusion happen?

By fusion, I meant that if a and b are IndexLambda, then an operation like a + b transparently combines a.expr and b.expr.

I think there's a potential issue surrounding tags here. If a or b has tag ImplStored, then creating a new expression would arguably ignore the intent of the IndexLambda.

Any other issues?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information