Skip to content

Master: devel2+debug_info flavour is broken.

On a frash checkout running hadrian/build --flavour=devel2+debug_info -j8 results in

Command line: _build/stage0/bin/ghc -Wall -Wcompat -hisuf hi -osuf o -hcsuf hc -static -hide-all-packages -no-user-package-db '-package-env -' '-package-db _build/stage1/lib/package.conf.d' '-this-unit-id ghc-prim-0.8.0' '-package-id rts-1.0.2' -i -i/home/andi/ghc_rts_prod/_build/stage1/libraries/ghc-prim/build -i/home/andi/ghc_rts_prod/_build/stage1/libraries/ghc-prim/build/autogen -i/home/andi/ghc_rts_prod/libraries/ghc-prim -Irts/include -I_build/stage1/libraries/ghc-prim/build -I/home/andi/ghc_rts_prod/_build/stage1/lib/x86_64-linux-ghc-9.3.20220228/rts-1.0.2/include -optP-include -optP_build/stage1/libraries/ghc-prim/build/autogen/cabal_macros.h -outputdir _build/stage1/libraries/ghc-prim/build -fdiagnostics-color=always -Wnoncanonical-monad-instances -optc-Wno-error=inline -optP-Wno-nonportable-include-path -c libraries/ghc-prim/GHC/Prim/PtrEq.hs -o _build/stage1/libraries/ghc-prim/build/GHC/Prim/PtrEq.o -O -H64m -this-unit-id ghc-prim -XHaskell2010 -no-global-package-db -package-db=/home/andi/ghc_rts_prod/_build/stage1/lib/package.conf.d -ghcversion-file=rts/include/ghcversion.h -ghcversion-file=rts/include/ghcversion.h -dcore-lint -Wno-deprecated-flags -Wno-trustworthy-safe -g3
===> Command failed with error code: 1

<no location info>: error:
Compilation had errors


*** Core Lint errors : in result of Desugar (after optimization) ***
libraries/ghc-prim/GHC/Prim/PtrEq.hs:71:1: warning:
    Cannot eta expand ‘reallyUnsafePtrEquality#’
    The following types do not have a fixed runtime representation:
      • a_11 :: TYPE ('BoxedRep l_1c)
      • b_12 :: TYPE ('BoxedRep k_1b)
    In the RHS of reallyUnsafePtrEquality :: forall a. a -> a -> Int#
    In the body of lambda with binder a_akL :: *
    Substitution: [TCvSubst
                     In scope: InScope {a_akL}
                     Type env: [akL :-> a_akL]
                     Co env: []]
*** Offending Program ***
reallyUnsafePtrEquality :: forall a. a -> a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
reallyUnsafePtrEquality
  = \ (@a_akL) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:72:1-50>
       reallyUnsafePtrEquality#)
        @'Lifted @a_akL @'Lifted @a_akL

sameArray# :: forall a. Array# a -> Array# a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameArray#
  = \ (@a_akz) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:78:1-37>
       reallyUnsafePtrEquality#)
        @'Unlifted @(Array# a_akz) @'Unlifted @(Array# a_akz)

sameMutableArray#
  :: forall s a. MutableArray# s a -> MutableArray# s a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameMutableArray#
  = \ (@s_akm) (@a_akn) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:82:1-44>
       reallyUnsafePtrEquality#)
        @'Unlifted
        @(MutableArray# s_akm a_akn)
        @'Unlifted
        @(MutableArray# s_akm a_akn)

sameSmallArray# :: forall a. SmallArray# a -> SmallArray# a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameSmallArray#
  = \ (@a_aka) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:86:1-42>
       reallyUnsafePtrEquality#)
        @'Unlifted @(SmallArray# a_aka) @'Unlifted @(SmallArray# a_aka)

sameSmallMutableArray#
  :: forall s a.
     SmallMutableArray# s a -> SmallMutableArray# s a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameSmallMutableArray#
  = \ (@s_ajX) (@a_ajY) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:90:1-49>
       reallyUnsafePtrEquality#)
        @'Unlifted
        @(SmallMutableArray# s_ajX a_ajY)
        @'Unlifted
        @(SmallMutableArray# s_ajX a_ajY)

sameByteArray# :: ByteArray# -> ByteArray# -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameByteArray#
  = (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:94:1-41>
     reallyUnsafePtrEquality#)
      @'Unlifted @ByteArray# @'Unlifted @ByteArray#

sameMutableByteArray#
  :: forall s. MutableByteArray# s -> MutableByteArray# s -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameMutableByteArray#
  = \ (@s_ajB) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:98:1-48>
       reallyUnsafePtrEquality#)
        @'Unlifted
        @(MutableByteArray# s_ajB)
        @'Unlifted
        @(MutableByteArray# s_ajB)

sameMutVar# :: forall s a. MutVar# s a -> MutVar# s a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameMutVar#
  = \ (@s_ajo) (@a_ajp) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:102:1-38>
       reallyUnsafePtrEquality#)
        @'Unlifted @(MutVar# s_ajo a_ajp) @'Unlifted @(MutVar# s_ajo a_ajp)

sameTVar# :: forall s a. TVar# s a -> TVar# s a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameTVar#
  = \ (@s_ajb) (@a_ajc) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:106:1-36>
       reallyUnsafePtrEquality#)
        @'Unlifted @(TVar# s_ajb a_ajc) @'Unlifted @(TVar# s_ajb a_ajc)

sameMVar# :: forall s a. MVar# s a -> MVar# s a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameMVar#
  = \ (@s_aiY) (@a_aiZ) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:110:1-36>
       reallyUnsafePtrEquality#)
        @'Unlifted @(MVar# s_aiY a_aiZ) @'Unlifted @(MVar# s_aiY a_aiZ)

sameIOPort# :: forall s a. IOPort# s a -> IOPort# s a -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
sameIOPort#
  = \ (@s_aiL) (@a_aiM) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:114:1-38>
       reallyUnsafePtrEquality#)
        @'Unlifted @(IOPort# s_aiL a_aiM) @'Unlifted @(IOPort# s_aiL a_aiM)

eqStableName# :: forall a b. StableName# a -> StableName# b -> Int#
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}]
eqStableName#
  = \ (@a_aiy) (@b_aiz) ->
      (src<libraries/ghc-prim/GHC/Prim/PtrEq.hs:128:1-40>
       reallyUnsafePtrEquality#)
        @'Unlifted @(StableName# a_aiy) @'Unlifted @(StableName# b_aiz)

$trModule :: Module
[LclIdX,
 Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
         WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 110 10}]
$trModule
  = Module (TrNameS "ghc-prim"#) (TrNameS "GHC.Prim.PtrEq"#)

*** End of Offense ***

Command failed
Build failed.

@sheaf seeems related to things you worked on recently.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information