summaryrefslogtreecommitdiff
path: root/semiring
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-07-08 12:30:21 +0800
committerJSDurand <mmemmew@gmail.com>2023-07-08 12:31:13 +0800
commit9a317e56f8a6126583f7d0c431bf878d9b1fe7b1 (patch)
tree7bb6004196b38446a5ab0cb3a0ab642d35f113e9 /semiring
parent691f969eb104fa3d4c2a1667693fd0382eb9d6b5 (diff)
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.
Diffstat (limited to 'semiring')
-rw-r--r--semiring/src/lib.rs2
1 files changed, 2 insertions, 0 deletions
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);