[11 of 24] Compiling QuickSpec.Internal.Pruning.UntypedTwee ( src/QuickSpec/Internal/Pruning/UntypedTwee.hs, dist/build/QuickSpec/Internal/Pruning/UntypedTwee.o, dist/build/QuickSpec/Internal/Pruning/UntypedTwee.dyn_o )
src/QuickSpec/Internal/Pruning/UntypedTwee.hs:87:7: error: [GHC-39999]
    • Could not deduce ‘PrettyTerm fun’
        arising from a use of ‘defaultConfig’
      from the context: (Typeable fun, Ord fun, Sized fun, Monad m)
        bound by the type signature for:
                   run :: forall fun (m :: * -> *) a.
                          (Typeable fun, Ord fun, Sized fun, Monad m) =>
                          Config -> Pruner fun m a -> m a
        at src/QuickSpec/Internal/Pruning/UntypedTwee.hs:82:1-85
      Possible fix:
        add (PrettyTerm fun) to the context of
          the type signature for:
            run :: forall fun (m :: * -> *) a.
                   (Typeable fun, Ord fun, Sized fun, Monad m) =>
                   Config -> Pruner fun m a -> m a
    • In the expression: defaultConfig
      In a record update at fields ‘Twee.cfg_accept_term’,
                                   ‘Twee.cfg_max_cp_depth’,
      with type constructor ‘Twee.Config’
      and data constructor ‘Twee.Config’.
      In the expression:
        defaultConfig
          {Twee.cfg_accept_term = Just (\ t -> size t <= cfg_max_term_size),
           Twee.cfg_max_cp_depth = cfg_max_cp_depth}
   |
87 |       defaultConfig {
   |       ^^^^^^^^^^^^^