Credence.Semantic.NoBareDocAttribute (credence v0.8.0)

Copy Markdown

Removes bare @doc attributes (no arguments) before def declarations.

LLMs sometimes generate @doc with no arguments before a def, which assigns nil to the doc attribute — a no-op that triggers the compiler diagnostic "module attribute @doc in code block has no effect".

The fix strips the bare @doc line, which is safe since it assigns nil (meaningless before a def).