`plots` fails to typechecking in 9.2
When updating head.hackage
for 9.2, I noticed that plots
now fails to typecheck,
src/Plots/Types.hs:697:17: error:
• Reduction stack overflow; size = 201
When simplifying the following type: V p1
Use -freduction-depth=0 to disable this check
(any upper bound you could choose might fail unpredictably with
minor updates to GHC, so disabling the check is recommended if
you're sure that type checking should terminate)
• In the pattern: StyledPlot p opts sty
In an equation for ‘styledPlot’:
styledPlot f s@(StyledPlot p opts sty)
= case eq p of
Just Refl -> f p <&> \ p' -> StyledPlot p' opts sty
Nothing -> pure s
where
eq :: Typeable a => a -> Maybe (a :~: p)
eq _ = eqT
|
697 | styledPlot f s@(StyledPlot p opts sty) =
| ^^^^^^^^^^^^^^^^^^^^^
I haven't tried lifting the reduction depth yet.