#14231: Core lint error "in result of Static argument" -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.5 Resolution: | Keywords: | StaticArgumentTransformation Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by osa1): Looking at this again; I realized that we don't need any flags to trigger some lint warnings in the original program (the `Async` module): {{{ $ ghc-stage2 Async.hs -dcore-lint -fforce-recomp -O0 [1 of 1] Compiling Async ( Async.hs, Async.o ) *** Core Lint warnings : in result of Simplifier *** Async.hs:25:1: warning: [RHS of bindWith :: forall (m :: * -> *) a b. (forall c. AsyncT m c -> AsyncT m c -> AsyncT m c) -> AsyncT m a -> (a -> AsyncT m b) -> AsyncT m b] INLINE binder is (non-rule) loop breaker: bindWith *** Core Lint warnings : in result of Simplifier *** Async.hs:25:1: warning: [RHS of bindWith :: forall (m :: * -> *) a b. (forall c. AsyncT m c -> AsyncT m c -> AsyncT m c) -> AsyncT m a -> (a -> AsyncT m b) -> AsyncT m b] INLINE binder is (non-rule) loop breaker: bindWith }}} This warning disappears if I remove the `INLINE` pragma. Not sure if this is a bug (it's a warning, not an error) but maybe useful to know. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14231#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler