What's wrong with my interface method implementations, such that the interface-macro-generated predicate yields #f?

[metaleap]

I'm not getting interface impls working as I'd have expected them to work. For example:

• I made this tiny interface
• the supposed method impl here
• that method impl's fieldless defclass here (different file)
• the problem: the interface test returns #f, always. (this goes for all of those many mini interfaces, but this one example should suffice, they all follow same impl patterns)
  • is lsp-impl not set? yes it is, by lsp-serve when it got called with an instance of our defclass

Why would the TextDocument-Hover? predicate return #f on an TextDocument-Hover implementation such as any instance of LspGerbil?

[metaleap]

Thanks to @vyzo pointing out in chat that is-Foo? would be the test to use for these interface-impl checks, rather than Foo? — thus, problem solved. =)

[vyzo]

Yes, Foo? is an exact instance test while is-Foo? checks for satisfiability (and creates the prototype behind the scenes).