Skip to content

Fix isLCS repeated expression and refactor it with base functions - #39

Merged
ninioArtillero merged 2 commits into
seereason:masterfrom
tweag:xg/fix-islcs
Aug 12, 2026
Merged

Fix isLCS repeated expression and refactor it with base functions#39
ninioArtillero merged 2 commits into
seereason:masterfrom
tweag:xg/fix-islcs

Conversation

@ninioArtillero

@ninioArtillero ninioArtillero commented Aug 11, 2026

Copy link
Copy Markdown
Collaborator

The opening expressions in isLCS conjunction were (evidently) intended to check ss is a subsequence of both xs and ys, but it was only checked for the latter. This PR fixes this.

Also, the "quick and dirty" subsequence functions are replaced with those from Data.List, making the associated testGroup for their correct implementation unnecessary.

@ninioArtillero ninioArtillero changed the title Fix repeated expression in isLCS conjunction in tests Fix repeated expression in isLCS and use standard library's subsequence functions Aug 11, 2026
@ninioArtillero ninioArtillero changed the title Fix repeated expression in isLCS and use standard library's subsequence functions Fix repeated expression in isLCS and refactor with base subsequence functions Aug 11, 2026
@ninioArtillero ninioArtillero changed the title Fix repeated expression in isLCS and refactor with base subsequence functions Fix isLCS repeated expression and refactor it with base functions Aug 12, 2026
@ninioArtillero
ninioArtillero merged commit 1c2904c into seereason:master Aug 12, 2026
32 of 37 checks passed
@ninioArtillero
ninioArtillero deleted the xg/fix-islcs branch August 12, 2026 18:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant