I've noticed that:
##This is not a valid doc comment
User:{name:Str}
## This is a valid doc comment
User:{name:Str}
Is it intentional for comments with ## but without a starting space to not be treated as doc comments?
I know that roc format
converts #comment
to # comment
by adding a space. Maybe this should also happen for ##comment
?
Good suggestion, I've written this up in #6582
Last updated: Jul 05 2025 at 12:14 UTC