search

transient-haskell / transient

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state)
MIT License
631 stars 28 forks source link

GHC 8 reports a warning about `Loggable` constraint #33

Closed geraldus closed 7 years ago

geraldus commented 7 years ago

Learn more about this new warning:

src/Transient/Logged.hs:136:11: warning: [-Wsimplifiable-class-constraints]
    The constraint ‘Loggable a’ matches an instance declaration
    instance (Show a, Read a, Typeable a) => Loggable a
      -- Defined at src/Transient/Logged.hs:31:10
    This makes type inference for inner bindings fragile;
      either use MonoLocalBinds, or simplify it using the instance

full log

Same warning appears in Transient Universe builds multiple times.