Skip to content

`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.

Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information