knowsys / knowsys/nemo

T2 queries on rules that no longer exist on the code

Open
#791 1 comment 0 reactions 1 assignee Claimed by @aannleax View on GitHub
tracing
Dominant language
Rust
Stars
289
Forks
21
PR merge metrics
No merged PRs in 30d

Description

While testing for https://github.com/imldresden/nev/issues/1 on the ancestors example, I opened nev with `ancestorsOfBoth`, removed
line 27 on Nemo Web, re-ran the program, and "focused" on `ancestorsOfBoth` in the (now old) nev tab, leading to this error.

Image

1. Should T2s attempt to compute with non-existing rules at all?
2. Should we invalidate comms to nev tabs after changes in the code?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.