nemo icon indicating copy to clipboard operation
nemo copied to clipboard
verified publisher icon knowsys

Error output: Add line number & relation

Open Laschoking opened this issue 2 years ago • 1 comments

When receiving an error like: error: Overloading of predicate names by arity is currently not supported. it would be good, to output the line number and relation which caused he error.

Laschoking avatar Dec 19 '23 11:12 Laschoking

Another case is when I try to output a relation that does not exist (i.e. because of a typo), I receive the imprecise error message : thread 'main' panicked at nemo/src/execution/execution_engine.rs:783:26: all predicates should have a type by now

Laschoking avatar Jan 11 '24 12:01 Laschoking

Likely addressed in #455.

monsterkrampe avatar Aug 28 '24 12:08 monsterkrampe