Skip to content

semifp: really ignore whitespace in ParseRelations#1189

Merged
james-d-mitchell merged 1 commit into
semigroups:mainfrom
james-d-mitchell:fix-issue-1187
May 19, 2026
Merged

semifp: really ignore whitespace in ParseRelations#1189
james-d-mitchell merged 1 commit into
semigroups:mainfrom
james-d-mitchell:fix-issue-1187

Conversation

@james-d-mitchell
Copy link
Copy Markdown
Collaborator

The documentation already promises we will ignore the whitespace, this PR just makes that really the case.

@james-d-mitchell james-d-mitchell merged commit 2e0fd40 into semigroups:main May 19, 2026
37 checks passed
@james-d-mitchell james-d-mitchell deleted the fix-issue-1187 branch May 19, 2026 11:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant