Repository navigation
copilot-core: Haddock comment for test property contains typo #783
Description
Description
The Haddock comment for the property copilot-core:Test.Copilot.Core.Type.testTypeLength2 states that it tests "that the length of an multi-dimensional array is as expected", which is grammatically incorrect.
To make documentation most useful and in compliance with our style guide, the documentation should have no typos or grammatical errors.
Type
- Bug: Typo in documentation.
Additional context
None.
Requester
- Ivan Perez.
Method to check presence of bug
Can only be determined by visual inspection of the module copilot-core:Test.Copilot.Core.Type. The comment that precedes testTypeLength2 incorrectly says "an multi-dimensional array".
Expected result
The documentation of copilot-core:Test.Copilot.Core.Type.testTypeLength2 is grammatically correct.
Desired result
The documentation of copilot-core:Test.Copilot.Core.Type.testTypeLength2 is grammatically correct.
Proposed solution
Fix the typo in the documentation of copilot-core:Test.Copilot.Core.Type.testTypeLength2.
Further notes
None.
Activity
ivanperez-keera commentedon Oct 18, 2026
Change Manager: Confirmed that the issue exists.
ivanperez-keera commentedon Oct 18, 2026
Technical Lead: Confirmed that the issue should be addressed.
ivanperez-keera commentedon Oct 18, 2026
Technical Lead: Issue scheduled for fixing in Copilot 4.8.2.
Fix assigned to: @ivanperez-keera.
copilot-core: Fix typo in Haddock comment of test property. Refs Copi…
copilot-core: Document changes in CHANGELOG. Refs Copilot-Language#783.
copilot-core: Document changes in CHANGELOG. Refs Copilot-Language#783.
ivanperez-keera commentedon Oct 18, 2026
Implementor: Solution implemented, review requested.
ivanperez-keera commentedon Oct 18, 2026
Change Manager: Verified that:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/279013748
Evaluated by visual inspection of the comment, since we do not have a convenient way to automatically check the grammar of Haddock comments.
Change is to the documentation.
No updates needed; change does not affect existing examples.
Bump not needed; change is to the tests and does not affect the public API.
ivanperez-keera commentedon Oct 18, 2026
Change Manager: Implementation ready to be merged.
Merge branch 'develop-typo-core-tests-comment'. Close Copilot-Languag…