Skip to content

io-classes-1.10.1.0#254

Merged
coot merged 5 commits into
mainfrom
coot/io-classes-1.10.1.0
Apr 14, 2026
Merged

io-classes-1.10.1.0#254
coot merged 5 commits into
mainfrom
coot/io-classes-1.10.1.0

Conversation

@coot
Copy link
Copy Markdown
Collaborator

@coot coot commented Apr 14, 2026

  • Support QuickCheck-2.18.0.0
  • io-sim: -Wno-incomplete-record-selectors
  • Test with ghc-9.14
  • io-classes-1.10.1.0 & io-sim-1.10.1.0

@coot coot force-pushed the coot/io-classes-1.10.1.0 branch 2 times, most recently from 51dd8c8 to 8188507 Compare April 14, 2026 12:16
Copy link
Copy Markdown
Contributor

@karknu karknu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

coot added 2 commits April 14, 2026 14:20
The `seType` record selector generates this warning.
@coot coot force-pushed the coot/io-classes-1.10.1.0 branch from 8188507 to eef613d Compare April 14, 2026 12:20
@coot coot force-pushed the coot/io-classes-1.10.1.0 branch from eef613d to 67902c1 Compare April 14, 2026 12:27
@coot coot added this pull request to the merge queue Apr 14, 2026
Merged via the queue into main with commit 5eebf4b Apr 14, 2026
17 checks passed
@coot coot deleted the coot/io-classes-1.10.1.0 branch April 14, 2026 13:52
@github-project-automation github-project-automation Bot moved this to In Progress in Ouroboros Network Apr 15, 2026
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Ouroboros Network Apr 15, 2026
@coot coot self-assigned this Apr 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants