Core lint error when compiling distributed-closure-0.5.0.0 with 9.8.1
$ cabal get distributed-closure-0.5.0.0
$ cd distributed-closure-0.5.0.0
$ cat > cabal.project << EOF
packages: .
package distributed-closure
ghc-options: -dlint
EOF
$ cabal build -w ghc-9.8.1
[ 5 of 10] Compiling Control.Comonad.Static ( src/Control/Comonad/Static.hs, dist/build/Control/Comonad/Static.o, dist/build/Control/Comonad/Static.dyn_o )
*** Core Lint errors : in result of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) ***
src/Control/Comonad/Static.hs:18:22: warning:
Found makeStatic nested in an expression
In the RHS of $dmstaticDuplicate :: forall (w :: * -> *) a.
(StaticExtend w, Typeable a) =>
w a -> w (w a)
In the unfolding of $dmstaticDuplicate :: forall (w :: * -> *) a.
(StaticExtend w, Typeable a) =>
w a -> w (w a)
In the body of lambda with binder w_adSi :: * -> *
In the body of lambda with binder $dStaticExtend_adUy :: StaticExtend
w_adSi
In the body of lambda with binder a_adUB :: *
In the body of lambda with binder eta_B0 :: Typeable a_adUB
In an occurrence of makeStatic :: forall a.
(Int, Int) -> a -> StaticPtr a
Substitution: <InScope = {w_adSi a_adUB}
IdSubst = []
TvSubst = [adSi :-> w_adSi, adUB :-> a_adUB]
CvSubst = []>
Edited by Zubin