From 9a317e56f8a6126583f7d0c431bf878d9b1fe7b1 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Sat, 8 Jul 2023 12:30:21 +0800 Subject: Finished the Emacs binding. Now the binding part is finished. What remains is a bug encountered when planting a fragment to the forest which intersects a packed node, which would lead to invalid forests. This will also cause problem when planting a packed fragment, but until now my testing grammars do not produce packed fragments, so this problem is not encountered yet. I am still figuring out efficient ways to solve this problem. --- semiring/src/lib.rs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'semiring/src/lib.rs') diff --git a/semiring/src/lib.rs b/semiring/src/lib.rs index 6c0e0d5..b3e26b7 100644 --- a/semiring/src/lib.rs +++ b/semiring/src/lib.rs @@ -33,6 +33,8 @@ pub trait Semiring { /// The addition. fn add(&mut self, other: &Self); + // FIXME: The multiplication needs another information: the parent + // of the other value in the item derivation tree. /// The multiplication. fn mul(&mut self, other: &Self); -- cgit v1.2.3-18-g5258