Skip to content

WIP: Update to GHC 9 + Add -Wall -Werror#160

Draft
augyg wants to merge 4 commits into
LumiGuide:masterfrom
TypifyDev:master
Draft

WIP: Update to GHC 9 + Add -Wall -Werror#160
augyg wants to merge 4 commits into
LumiGuide:masterfrom
TypifyDev:master

Conversation

@augyg

@augyg augyg commented Mar 29, 2026

Copy link
Copy Markdown

No description provided.

augyg added 4 commits March 10, 2026 12:09
- Add -optcxx-DOPENCV4 to cabal ghc-options so the OPENCV4 define
  reaches the C++ compiler (GHC 9.10 splits -optc/-optcxx)
- Guard getAffineTransform against collinear source points, returning
  a CvException instead of silently producing a garbage matrix
- Bound rect QuickCheck generators to avoid Int32 overflow in
  OpenCV 4's Rect::area() assertion
- Add shell.nix for local development with callCabal2nix
- Generate non-degenerate triangles instead of arbitrary points
- Restore Left as test failure for the happy-path property
- Add explicit test that collinear points return an error
- Replace all kind-level * with Type from Data.Kind across 25+ files
- Remove redundant Data.Monoid (<>) imports (in Prelude since base 4.9)
- Remove redundant Data.Foldable/Data.Traversable imports
- Suppress -Wtype-defaults in inline-c generated StructuralAnalysis code
- Fix incomplete pattern matches in Juicy.hs Storable instances
- Fix partial head usage in Core/Types/Mat.hs and test.hs
- Guard estimateRigidTransform with #ifndef OPENCV4 (removed in OpenCV 4)
- Guard OpenCV.Video re-export in OpenCV.hs

Library and tests now build clean with -Wall -Werror.
@augyg augyg marked this pull request as draft March 29, 2026 21:34
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