records-sop
records-sop copied to clipboard
Published
20 hours ago •
kosmikus
kosmikus
Experimental implementation of generic record subtyping
Results
3
records-sop issues
Sort by
recently updated
recently updated
newest added
These libraries are shipped with GHC 9.8. records-sop was thrown out of Stackage Nightly for non-compliance with these versions. See * https://github.com/commercialhaskell/stackage/issues/7219
I was completely baffled by the type error when trying to apply `RecordTypeOf` to a type with no instance of `HasDatatypeOf`. I fixed it based on https://blog.csongor.co.uk/report-stuck-families/ and https://hackage.haskell.org/package/type-errors-0.2.0.0. Maybe...
