Details
-
Task
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
None
-
Fully Compatible
-
QO 2022-10-17
Description
This code performs the following optimization:
EvalFilter p2 (EvalFilter p1 e1) -> EvalFilter (ComposeM p1 p2) e1
This would be correct if ComposeM had function composition behavior, but it does not behave that way under an EvalFilter. We don't depend on this rewrite anywhere, so it should be safe to simply remove. More discussion can be found in the ABT design doc.