Skip to content

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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information