Fix typo in comment (double period)

[ivanperez-keera]

Description

The package copilot-core contains a comment that ends in double period, which is just a typo. Similar errors are present in copilot-language and copilot-theorem.

Type

• Bug: Typo in documentation.

Additional context

None.

Requester

• Ivan Perez.

Method to check presence of bug

The errors can be located with:

$ grep -nHre '--.*[^\.,0-9 ]\.\.' copilot**/src
copilot-core/src/Copilot/Core/Spec.hs:16:-- representations for Specs and the main types of element in a spec..
copilot-language/src/Copilot/Language/Operators/Projection.hs:26:-- of type t carried in a stream of type d..
copilot-theorem/src/Copilot/Theorem/Misc/SExpr.hs:34:-- additional expressions or arguments..

Expected result

There is no comment that ends with double period that is not part of an ellipsis or enumeration.

Desired result

There is no comment that ends with double period that is not part of an ellipsis or enumeration.

Proposed solution

Remove the double period from the comments listed above.

Further notes

None.

[ivanperez-keera]

Change Manager: Confirmed that the issue exists.

[ivanperez-keera]

Technical Lead: Confirmed that the issue should be addressed.

[ivanperez-keera]

Technical Lead: Issue scheduled for fixing in Copilot 4.3

Fix assigned to: @ivanperez-keera .