gistfile1.txt

./test-suite/HsDiExample/MainSpec.hs:20:7 error:
    • Ambiguous type variable ‘m0’
      prevents the constraint ‘(Monad m0)’ from being solved.
    • When checking that the inferred type
        logger :: forall b t (m :: * -> *).
                  Monad m =>
                  Data.Text.Internal.Text -> IO ()
      is as general as its inferred signature
        logger :: Data.Text.Internal.Text -> IO ()
      In a stmt of a 'do' block:
        (let (main, _, _, _, logger) = mainT
         in  
           main
             (readModifyIORef clockStart (addUTCTime 1))
             (return ["sample.txt"])
             (\ "sample.txt" -> return "Alyssa")
             logger)
      In the second argument of ‘($)’, namely
        ‘do { logs <- newIORef [];
              clockStart <- newIORef $ posixSecondsToUTCTime 0;
              (let (main, _, _, _, logger) = mainT
               in
                 main
                   (readModifyIORef clockStart (addUTCTime 1))
                   (return ["sample.txt"])
                   (\ "sample.txt" -> return "Alyssa")
                   logger);
              readIORef logs }’