search

bjornbm / dimensional

Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
BSD 3-Clause "New" or "Revised" License
102 stars 16 forks source link

Switch CI to GitHub Actions #218

Closed konsumlamm closed 1 month ago

konsumlamm commented 2 years ago

Unfortunately, the doctests don't work currently, but I have no idea why.

bjornbm commented 2 years ago

Hmm… it seems the doctests (more specifically the way the test suite is set up) are more generally broken. This works:

$ stack exec doctest src -- -XNoStarIsType
Examples: 181  Tried: 181  Errors: 0  Failures: 0

But using the test suite (stack test) results in a lot of errors (not-in-scope errors indicating the modules under test are not being loaded…). Sorry, I haven't tried with cabal.

Maybe we need to rewrite tests/DocTest.hs or the test-suite in dimensional.cabal according to latest best practices?

bjornbm commented 1 month ago

Superseded by #225. Thanks @konsumlamm for starting and @LaurentRDC for getting this done!