--- "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/rep-poly/T23176.run/T23176.stderr.normalised" 2023-09-14 16:05:53.027361477 +0530 +++ "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/rep-poly/T23176.run/T23176.comp.stderr.normalised" 2023-09-14 16:05:53.027361477 +0530 @@ -1,30 +1,15 @@ +ghc: panic! (the 'impossible' happened) + GHC version 9.6.2.20230912: + typeKind + forall {c} {c :: c -> RuntimeRep} {c :: c} {w :: TYPE (c c)}. w + [c_ayv[sk:1], c_ayw[sk:1], c_ayx[sk:1], w_ayA[sk:1]] + w_ayA[sk:1] :: TYPE (c_ayw[sk:1] c_ayx[sk:1]) + Call stack: + CallStack (from HasCallStack): + callStackDoc, called at compiler/GHC/Utils/Panic.hs:: in :GHC.Utils.Panic + pprPanic, called at compiler/GHC/Core/Type.hs:: in :GHC.Core.Type + CallStack (from HasCallStack): + panic, called at compiler/GHC/Utils/Error.hs:: in :GHC.Utils.Error -T23176.hs:5:1: [GHC-52083] - The binder ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. -T23176.hs:5:1: [GHC-52083] - The binder ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. - -T23176.hs:5:1: [GHC-52083] - The binder ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. - -T23176.hs:6:1: [GHC-52083] - The pattern binding - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. - -T23176.hs:6:1: [GHC-52083] - The pattern binding - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. - -T23176.hs:6:1: [GHC-52083] - The pattern binding - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. +Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug *** unexpected failure for T23176(normal) --- "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/rep-poly/T23154.run/T23154.stderr.normalised" 2023-09-14 16:05:53.037361548 +0530 +++ "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/rep-poly/T23154.run/T23154.comp.stderr.normalised" 2023-09-14 16:05:53.037361548 +0530 @@ -1,15 +1,36 @@ +*** Core Lint errors : in result of Desugar (after optimization) *** +T23154.hs:7:3: warning: + Binder does not have a fixed runtime representation: x_aiG :: (p_ayb :: TYPE + (c_ayx c_ayy)) + In the RHS of f :: forall {c} {c :: c -> RuntimeRep} {c :: c} + {p :: TYPE (c c)}. + p -> p + In the body of lambda with binder c_ayw :: * + In the body of lambda with binder c_ayx :: c_ayw -> RuntimeRep + In the body of lambda with binder c_ayy :: c_ayw + In the body of lambda with binder p_ayb :: TYPE (c_ayx c_ayy) + In the body of lambda with binder x_aiG :: p_ayb + Substitution: p_ayb, ayw :-> c_ayw, ayx :-> c_ayx, + ayy :-> c_ayy] + CvSubst = []> +*** Offending Program *** +f :: forall {c} {c :: c -> RuntimeRep} {c :: c} {p :: TYPE (c c)}. + p -> p +[LclIdX, + Unf=Unf{Src=, TopLvl=True, + Value=True,ghc: panic! (the 'impossible' happened) + GHC version 9.6.2.20230912: + runtimeRepPrimRep + typePrimRep (p_ayb :: TYPE (c_ayx c_ayy)) + c_ayx c_ayy + Call stack: + CallStack (from HasCallStack): + callStackDoc, called at compiler/GHC/Utils/Panic.hs:: in :GHC.Utils.Panic + pprPanic, called at compiler/GHC/Types/RepType.hs:: in :GHC.Types.RepType + CallStack (from HasCallStack): + panic, called at compiler/GHC/Utils/Error.hs:: in :GHC.Utils.Error -T23154.hs:7:1: [GHC-52083] - The first pattern in the equation for ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. -T23154.hs:7:1: [GHC-52083] - The first pattern in the equation for ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. - -T23154.hs:7:1: [GHC-52083] - The first pattern in the equation for ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. +Please report this as a GHC bug: https://www.haskell.org/ghc/reportabug *** unexpected failure for T23154(normal) --- "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/rep-poly/T23153.run/T23153.stderr.normalised" 2023-09-14 16:05:53.037361548 +0530 +++ "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/rep-poly/T23153.run/T23153.comp.stderr.normalised" 2023-09-14 16:05:53.037361548 +0530 @@ -1,15 +1,54 @@ +*** Core Lint errors : in result of Desugar (after optimization) *** +T23153.hs:8:3: warning: + Argument does not have a fixed runtime representation h_aiK + () :: (a_aH3 :: TYPE (c_aH5 c_aH6)) + In the RHS of g :: forall {c} {c :: c -> RuntimeRep} {c :: c} + {a :: TYPE (c c)}. + (() -> a) -> () + In the body of lambda with binder c_aH4 :: * + In the body of lambda with binder c_aH5 :: c_aH4 -> RuntimeRep + In the body of lambda with binder c_aH6 :: c_aH4 + In the body of lambda with binder a_aH3 :: TYPE (c_aH5 c_aH6) + In the body of lambda with binder h_aiK :: () -> a_aH3 + Substitution: a_aH3, aH4 :-> c_aH4, aH5 :-> c_aH5, + aH6 :-> c_aH6] + CvSubst = []> +*** Offending Program *** +Rec { +f [Occ=LoopBreaker] + :: forall {k} (r :: k -> RuntimeRep) (s :: k) (a :: TYPE (r s)). + a -> () +[LclIdX, + Unf=Unf{Src=, TopLvl=True, + Value=False, ConLike=False, WorkFree=True, Expandable=True, + Guidance=ALWAYS_IF(arity=0,unsat_ok=True,boring_ok=True)}] +f = f +end Rec } -T23153.hs:8:1: [GHC-52083] - The argument ‘(h ())’ of ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. +g :: forall {c} {c :: c -> RuntimeRep} {c :: c} {a :: TYPE (c c)}. + (() -> a) -> () +[LclIdX, + Unf=Unf{Src=, TopLvl=True, + Value=True, ConLike=True, WorkFree=True, Expandable=True, + Guidance=IF_ARGS [60] 40 0}] +g = / (@c_aH4) + (@(c_aH5 :: c_aH4 -> RuntimeRep)) + (@(c_aH6 :: c_aH4)) + (@(a_aH3 :: TYPE (c_aH5 c_aH6))) + (h_aiK :: () -> a_aH3) -> + f @c_aH4 @c_aH5 @c_aH6 @a_aH3 (h_aiK ()) -T23153.hs:8:1: [GHC-52083] - The argument ‘(h ())’ of ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. +$trModule :: Module +[LclIdX, + Unf=Unf{Src=, TopLvl=True, + Value=True, ConLike=True, WorkFree=True, Expandable=True, + Guidance=IF_ARGS [] 80 10}] +$trModule = Module (TrNameS "main"#) (TrNameS "T23153"#) -T23153.hs:8:1: [GHC-52083] - The argument ‘(h ())’ of ‘f’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. +*** End of Offense *** + + +: +Compilation had errors *** unexpected failure for T23153(normal) --- "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/polykinds/T22743.run/T22743.stderr.normalised" 2023-09-14 16:05:53.037361548 +0530 +++ "/tmp/ghctest-nabz7sv7/test spaces/testsuite/tests/polykinds/T22743.run/T22743.comp.stderr.normalised" 2023-09-14 16:05:53.037361548 +0530 @@ -1,10 +1,7 @@ -T22743.hs:10:1: [GHC-52083] - The binder ‘x’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. - -T22743.hs:10:1: [GHC-52083] - The binder ‘x’ - cannot be assigned a fixed runtime representation, not even by defaulting. - Suggested fix: Add a type signature. +T22743.hs:10:1: [GHC-31147] + Quantified type's kind mentions quantified type variable + type: ‘forall {c1 :: * -> RuntimeRep} {c2} {a :: TYPE (c1 c2)}. a’ + where the body of the forall has this kind: ‘TYPE (c c1)’ + When checking the inferred type + x :: forall {c1 :: * -> RuntimeRep} {c2} {a :: TYPE (c1 c2)}. a *** unexpected failure for T22743(normal) Performance Metrics (test environment: local): None collected. Unexpected results from: TEST="T22743 T23153 T23154 T23176"