From 5ae917c06cb0ee8a949354a11dee13e3bb48ec72 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Tue, 2 Apr 2024 15:25:22 +0200 Subject: [PATCH] added TODO --- src/org/rascalmpl/library/lang/box/syntax/Box.rsc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/org/rascalmpl/library/lang/box/syntax/Box.rsc b/src/org/rascalmpl/library/lang/box/syntax/Box.rsc index 2d8a807108c..2b5249d9c4b 100644 --- a/src/org/rascalmpl/library/lang/box/syntax/Box.rsc +++ b/src/org/rascalmpl/library/lang/box/syntax/Box.rsc @@ -80,6 +80,8 @@ create a last shorter group if any elements are left. The G operator eventually returns a `U` box such that the groups can flow into any surrounding context (typically `HV` or `HOV`) for improving paragraph flow. } +// TODO: probably have to inline this into box2text to allow for U boxes to float up +// _before_ we apply the G operator. Box G([], BoxOp op = H, int hs=1, int vs=0, int is=2, int gs=2) = U([]); Box G([*Box last], Box(list[Box]) op = H, int hs=1, int vs=0, int is=2, int gs=2)