From a1237ed47019297f1203590cbd93437f076657ce Mon Sep 17 00:00:00 2001 From: David Moon Date: Sun, 10 Nov 2024 13:42:28 -0500 Subject: [PATCH] fix #86 #87 --- src/core/parser/Molder.re | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/core/parser/Molder.re b/src/core/parser/Molder.re index fcba520c..78000ef9 100644 --- a/src/core/parser/Molder.re +++ b/src/core/parser/Molder.re @@ -81,13 +81,19 @@ let rec mold = |> Option.map(((grouted, stack)) => (tok, grouted, stack)) ) ) { - | Some((tok, grouted, _stack) as molded) => + | Some((tok, grouted, stack) as molded) => // remove empty ghost connected via neq-relation // P.log("--- Molder.mold/success"); // P.show("tok", Token.show(tok)); // P.show("grouted", Grouted.show(grouted)); // P.show("stack", Stack.show(stack)); - Mtrl.is_tile(tok.mtrl) && tok.text == "" && Grouted.is_neq(grouted) + Mtrl.is_tile(tok.mtrl) + && Token.is_empty(tok) + && ( + Grouted.is_neq(grouted) + || Option.is_some(Grouted.is_eq(grouted)) + && stack.slope == [] + ) ? Error(Cell.mark_degrouted(fill, ~side=R)) : Ok(molded) | None => let deferred = Token.Unmolded.defer(t);