Markus Triska
Markus Triska
There seems to be a pattern in the expansion code, so maybe this code can be generated from shorter declarative descriptions of warnings?
#2189 may be a candidate to address with this technique.
You may be able to find a better design for the loading process, to make adding such features more elegant!
Can the Rust code be generated from the Prolog description?
It seems desirable to keep the core small, so that it is more likely to be correct. Every feature you add to the core increases the likelihood of mistakes in...
You can expand it for example to: nullified :- false. Or use for example the predicate name `'$nullified'` as a more "internal" name that is less likely to conflict with existing...
@hurufu: No, it has only replaced `b` by `[]` (which currently we cannot call, but it works in `rebis-dev`!). You can see the issue with: term_expansion(b, []). a. b. c....
@hurufu: I think the intuition is justified though, that an expansion of `[]` results in a vanishing definition, because the definition of the fact `[]` seems extremely unlikely to be intended.
@hurufu: An ideal solution would not affect any existing predicate definitions, if such definitions are also present in the source file.
> then fixing behavior of `term_expansion(b, [])` is the way to go, IMHO Yes, I agree! This means the empty list of terms, so vanishing.