copilot-theorem: Copilot.Theorem.Misc.SExpr.parseSExpr is unused #661
Description
Description
The function copilot-theorem:Copilot.Theorem.Misc.SExpr.parseSExpr is not used anywhere in the implementation. The module is internal and not exposed to the user, so that function does not have and cannot have any users.
Type
- Bug: unused code included in the implementation.
Additional context
None.
Requester
- Ivan Perez.
Method to check presence of bug
The following search finds mentions of parseSExpr in the implementation, showing only the definition:
$ grep -nHre 'parseSExpr' copilot**/src copilot**/tests
copilot-theorem/src/Copilot/Theorem/Misc/SExpr.hs:103:parseSExpr :: String -> Maybe (SExpr String)
copilot-theorem/src/Copilot/Theorem/Misc/SExpr.hs:104:parseSExpr str = case parse parser "" str of
Expected result
The string should be either empty (the function does not exist) or list further uses.
Desired result
The string should be either empty (the function does not exist) or list further uses.
Proposed solution
Removing the function from the module Copilot.Theorem.Misc.SExpr.parseSExpr, as well as any auxiliary functions or imports exclusively needed by that function, if any.
Further notes
None.