`copilot-core`: Remove deprecated record fields of `Copilot.Core.Expr.UExpr`

[ivanperez-keera]

Description

The record fields uExprExpr and uExprType, part of Copilot.Core.Expr, are never really used within the module or in any other part of Copilot or, as far as we know, by any user of Copilot.

The record fields were deprecated in Copilot 4.2 and no messages have been received requesting that they be kept in this library.

As per our internal policy of waiting 3 versions from deprecation until a public interface declaration can be removed, these definitions can now be removed.

Type

• Management: remove deprecated code.

Additional context

• Issue copilot-core: record fields of UExpr are unnecessary #565 , addressed in Copilot 4.2, deprecated the definitions.

Requester

• Ivan Perez

Method to check presence of bug

Not applicable (not a bug).

Expected result

Running the check below prints a message indicating that the fields imported do not exist:

$ runhaskell <<< 'import Copilot.Core(uExprType, uExprExpr); main = return ()'

Desired result

Running the check below prints a message indicating that the field imported does not exist:

$ runhaskell <<< 'import Copilot.Core(uExprType, uExprExpr); main = return ()'

Proposed solution

Remove the deprecated definitions copilot-core:Copilot.Core.Expr.uExprExpr and copilot-core:Copilot.Core.Expr.uExprType, and any references to them. Adjust documentation accordingly, if needed.

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.5

Fix assigned to: @ivanperez-keera .