You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At the moment, comprehended term positions are computed late in the compiler pipeline.
This causes erroneous rendering in the web GUI if the comprehended tree is the result of some logical transformation (e.g. fold-group fusion).
To alleviate this problem, I suggest to have a pre-pass on the tree that computes the positions for each comprehended term before any transformations take place.
To implement this feature, the following changes are required:
At the moment, comprehended term positions are computed late in the compiler pipeline.
This causes erroneous rendering in the web GUI if the comprehended tree is the result of some logical transformation (e.g. fold-group fusion).
To alleviate this problem, I suggest to have a pre-pass on the tree that computes the positions for each comprehended term before any transformations take place.
To implement this feature, the following changes are required:
createComprehensionView
method, compute the rectanglesassociated with each subtree occurring under
term
interms
.inlineComprehensions
, compute sets ofExpressionRoot
nodes.createComprehensionView
.ExpressionRoot
in theexpandComprehension
method.The text was updated successfully, but these errors were encountered: