What does `@implements dev ...` really do?

rafaqz / Interfaces.jl

Macros to define and implement interfaces, to ensure they are checked and correct.

MIT License

72 stars 4 forks source link

What does `@implements dev ...` really do? #18

Closed gdalle closed 8 months ago

gdalle commented 9 months ago

The docstring says it displays verbose tests, but one can run the tests before having declared that our type @implements the interface. In fact it may be wiser to do so. Besides, I don't see where the show kwarg is used in the code

rafaqz commented 9 months ago

The docs are from the first implementation and probably contain things that dont make sense anymore.

Originally tests were run in precompilation automatically.

rafaqz commented 8 months ago

Deleteed