Skip to content

Move the tests for spaces into the main testsuite#293

Merged
sjakobi merged 1 commit into
masterfrom
spaces-tests
May 16, 2026
Merged

Move the tests for spaces into the main testsuite#293
sjakobi merged 1 commit into
masterfrom
spaces-tests

Conversation

@sjakobi
Copy link
Copy Markdown
Collaborator

@sjakobi sjakobi commented May 15, 2026

This allows us to remove the problematic import of Test.QuickCheck.Modifiers from the doctests. (#290)

This allows us to remove the problematic import of
Test.QuickCheck.Modifiers from the doctests. (#290)
@sjakobi sjakobi marked this pull request as ready for review May 15, 2026 13:00
@sjakobi sjakobi merged commit f8d63c7 into master May 16, 2026
18 checks passed
@sjakobi sjakobi deleted the spaces-tests branch May 16, 2026 17:05
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