IIUC syncheck-annotations<%> methods are supposed to follow the protocol of calling syncheck:find-source-object -- giving it the opportunity to skip the annotation, or return a value it desires. For example it could choose to return the original syntax object, or, it could return just syntax-source. Anyway, it gets to choose.
This should return #f if the source of this syntax object is uninteresting for annotations (if, for example, the only interesting annotations are those in the original file and this is a syntax object introduced by a macro and thus has a source location from some other file).
Otherwise, it should return some (non-#f) value that will then be passed to one of the other methods below as a source-obj argument.
However syncheck:add-definition-target seems to ignore this and hard wire syntax-source, which seems wrong. For example, I'd like it to be the full syntax object.
IIUC
syncheck-annotations<%>
methods are supposed to follow the protocol of callingsyncheck:find-source-object
-- giving it the opportunity to skip the annotation, or return a value it desires. For example it could choose to return the original syntax object, or, it could return justsyntax-source
. Anyway, it gets to choose.However
syncheck:add-definition-target
seems to ignore this and hard wiresyntax-source
, which seems wrong. For example, I'd like it to be the full syntax object.Should it be changed: