Part of GHC 9.0 is the simplified subsumption in the type system, which effects code which relied on deep skolemization. The diagrams-lib package does rely on deep skolemization and does not build with GHC 9.0 without some eta expansions to help the type checker. See the migration guide for more information.
This pull request applied the eta reductions required to build with GHC 9.0.
Part of GHC 9.0 is the simplified subsumption in the type system, which effects code which relied on deep skolemization. The
diagrams-lib
package does rely on deep skolemization and does not build with GHC 9.0 without some eta expansions to help the type checker. See the migration guide for more information.This pull request applied the eta reductions required to build with GHC 9.0.