document module signature member defaults

[ginsbach]

This is the last bit of shadowing work (assuming #12075 is merged), and fixes https://github.com/github/codeql-core/issues/3099.

[jbj]

Should the default annotation also be mentioned in https://codeql.github.com/docs/ql-language-reference/annotations/?

[jbj]

And in https://codeql.github.com/docs/ql-language-reference/ql-language-specification/#annotations

[ginsbach]

And in https://codeql.github.com/docs/ql-language-reference/ql-language-specification/#annotations

That will have to wait for https://github.com/github/codeql-core/issues/2452. We currently don't even have the appropriate columns.

I suppose we can add it here though: https://codeql.github.com/docs/ql-language-reference/annotations/

[ginsbach]

And in https://codeql.github.com/docs/ql-language-reference/ql-language-specification/#annotations

That will have to wait for github/codeql-core#2452. We currently don't even have the appropriate columns.

I suppose we can add it here though: https://codeql.github.com/docs/ql-language-reference/annotations/

On second thought, I don't think we want to add it to the annotations section. While we implement it through the annotations mechanism internally, default is not actually introduced as an annotation to the user. I don't think it is helpful for users to think of default as an annotation - they should think of it as as a keyword (rather like signature).

Edit: @jbj and I discussed offline. My conclusion is that it would be strange to document default but not signature in the annotation sections. We should revisit the problem when adding parameterised modules to the QL Language specification. I have made a note on the issue.