You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If it is -not - in the same comment block? Or rather if it - is - in the same comment block?
The current implementation assumes one comment-block per docstring.
Case 1: this should work
%*
#some_predicate(A,B,C).
some description|
*%
%*
#some_other_predicate(A,B,C).
some other description|
*%
Case 2: this should not work and likely results in an odd predicate documentation
%*
#some_predicate(A,B,C).
some description|
#some_other_predicate(A,B,C).
some other description|
*%
If we want to support case 2 as well (which seems somewhat unusual right? Usually there is one doc string per struct/function/field/whatever), then I think we would have to define some kind of delimiter in order to cleanly separate the different predicates.
Because we have to then differentiate between the start of a new predicate description and the continuation of the previous predicate.
If you're not talking about case 2, can you give an example?
If the docstring of two predicates is not in the same comment block then only the first on is obtained
The text was updated successfully, but these errors were encountered: