Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - constraints-extras-0.4.0.0 (lib:constraints-extras) (requires build) - dependent-sum-template-0.2.0.1 (first run) Starting constraints-extras-0.4.0.0 (all, legacy fallback) Building constraints-extras-0.4.0.0 (all, legacy fallback) Installing constraints-extras-0.4.0.0 (all, legacy fallback) Completed constraints-extras-0.4.0.0 (all, legacy fallback) Configuring dependent-sum-template-0.2.0.1... Preprocessing library for dependent-sum-template-0.2.0.1.. Building library for dependent-sum-template-0.2.0.1.. [1 of 4] Compiling Data.GADT.Compare.Monad ( src/Data/GADT/Compare/Monad.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/Compare/Monad.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/Compare/Monad.dyn_o ) [2 of 4] Compiling Data.GADT.TH.Internal ( src/Data/GADT/TH/Internal.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/TH/Internal.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/TH/Internal.dyn_o ) [3 of 4] Compiling Data.GADT.Show.TH ( src/Data/GADT/Show/TH.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/Show/TH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/Show/TH.dyn_o ) [4 of 4] Compiling Data.GADT.Compare.TH ( src/Data/GADT/Compare/TH.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/Compare/TH.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/Data/GADT/Compare/TH.dyn_o ) Preprocessing test suite 'test' for dependent-sum-template-0.2.0.1.. Building test suite 'test' for dependent-sum-template-0.2.0.1.. [1 of 1] Compiling Main ( test/test.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/test/test-tmp/Main.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/test/test-tmp/Main.dyn_o ) test/test.hs:34:1-19: Splicing declarations deriveGShow ''MySum ======> instance GShow MySum where gshowsPrec _ MySum_Int = showString "MySum_Int" gshowsPrec _ MySum_String = showString "MySum_String" test/test.hs:35:1-17: Splicing declarations deriveGEq ''MySum ======> instance GEq MySum where geq MySum_Int MySum_Int = do return Refl geq MySum_String MySum_String = do return Refl geq _ _ = Nothing test/test.hs:36:1-22: Splicing declarations deriveGCompare ''MySum ======> instance GCompare MySum where gcompare MySum_Int MySum_Int = runGComparing (do return GEQ) gcompare MySum_Int {} _ = GLT gcompare _ MySum_Int {} = GGT gcompare MySum_String MySum_String = runGComparing (do return GEQ) gcompare MySum_String {} _ = GLT gcompare _ MySum_String {} = GGT test/test.hs:37:1-21: Splicing declarations deriveArgDict ''MySum ======> instance (c_a3H3 Int, c_a3H3 String) => Data.Constraint.Extras.Has c_a3H3 MySum where Data.Constraint.Extras.argDict = \case MySum_Int {} -> constraints-0.14-d374131977330c13412334b1eafa5ec5ceb550d9646319c48dd9f6abb235dbfa:Data.Constraint.Dict MySum_String {} -> constraints-0.14-d374131977330c13412334b1eafa5ec5ceb550d9646319c48dd9f6abb235dbfa:Data.Constraint.Dict test/test.hs:48:1-25: Splicing declarations deriveGShow ''MyNestedSum ======> instance GShow MyNestedSum where gshowsPrec prec_a41N (MyNestedSum_MySum x_a41O) = (showParen (prec_a41N > 10)) (showString "MyNestedSum_MySum" . (showChar ' ' . ((showsPrec 11) x_a41O . id))) gshowsPrec prec_a425 (MyNestedSum_Int x_a426) = (showParen (prec_a425 > 10)) (showString "MyNestedSum_Int" . (showChar ' ' . ((showsPrec 11) x_a426 . id))) gshowsPrec prec_a428 (MyNestedSum_String x_a429) = (showParen (prec_a428 > 10)) (showString "MyNestedSum_String" . (showChar ' ' . ((showsPrec 11) x_a429 . id))) test/test.hs:49:1-23: Splicing declarations deriveGEq ''MyNestedSum ======> instance GEq MyNestedSum where geq (MyNestedSum_MySum x_a44O) (MyNestedSum_MySum y_a44P) = do Refl <- (geq x_a44O) y_a44P return Refl geq (MyNestedSum_Int x_a44S) (MyNestedSum_Int y_a44T) = do guard (x_a44S == y_a44T) return Refl geq (MyNestedSum_String x_a44U) (MyNestedSum_String y_a44V) = do guard (x_a44U == y_a44V) return Refl geq _ _ = Nothing test/test.hs:50:1-28: Splicing declarations deriveGCompare ''MyNestedSum ======> instance GCompare MyNestedSum where gcompare (MyNestedSum_MySum x_a46v) (MyNestedSum_MySum y_a46w) = runGComparing (do Refl <- (geq' x_a46v) y_a46w return GEQ) gcompare MyNestedSum_MySum {} _ = GLT gcompare _ MyNestedSum_MySum {} = GGT gcompare (MyNestedSum_Int x_a46z) (MyNestedSum_Int y_a46A) = runGComparing (do (compare' x_a46z) y_a46A return GEQ) gcompare MyNestedSum_Int {} _ = GLT gcompare _ MyNestedSum_Int {} = GGT gcompare (MyNestedSum_String x_a46B) (MyNestedSum_String y_a46C) = runGComparing (do (compare' x_a46B) y_a46C return GEQ) gcompare MyNestedSum_String {} _ = GLT gcompare _ MyNestedSum_String {} = GGT test/test.hs:51:1-27: Splicing declarations deriveArgDict ''MyNestedSum ======> instance (Data.Constraint.Extras.Has c_a48T MySum, c_a48T Int, c_a48T String) => Data.Constraint.Extras.Has c_a48T MyNestedSum where Data.Constraint.Extras.argDict = \case MyNestedSum_MySum x_a48Y -> Data.Constraint.Extras.argDict x_a48Y MyNestedSum_Int {} -> constraints-0.14-d374131977330c13412334b1eafa5ec5ceb550d9646319c48dd9f6abb235dbfa:Data.Constraint.Dict MyNestedSum_String {} -> constraints-0.14-d374131977330c13412334b1eafa5ec5ceb550d9646319c48dd9f6abb235dbfa:Data.Constraint.Dict test/test.hs:99:1-15: Splicing declarations deriveGEq ''Foo ======> instance (GEq Foo, GEq Foo) => GEq Foo where geq I I = do return Refl geq D D = do return Refl geq (A x_a4OF x_a4OG) (A y_a4OH y_a4OI) = do Refl <- (geq x_a4OF) y_a4OH Refl <- (geq x_a4OG) y_a4OI return Refl geq _ _ = Nothing test/test.hs:100:1-15: Splicing declarations deriveGEq ''Bar ======> instance (GEq Foo, GEq Foo) => GEq Bar where geq (F x_a4Qo) (F y_a4Qp) = do Refl <- (geq x_a4Qo) y_a4Qp return Refl geq S S = do return Refl geq _ _ = Nothing test/test.hs:101:1-15: Splicing declarations deriveGEq ''Qux ======> instance (GEq Foo, GEq Foo, GEq Foo, GEq Foo) => GEq Qux where geq (FB x_a4Rx x_a4Ry) (FB y_a4Rz y_a4RA) = do Refl <- (geq x_a4Rx) y_a4Rz Refl <- (geq x_a4Ry) y_a4RA return Refl geq _ _ = Nothing test/test.hs:102:1-15: Splicing declarations deriveGEq ''Baz ======> instance (GEq Foo, GEq Foo, GEq Foo, GEq Foo) => GEq Baz where geq (L x_a4T5 x_a4T6) (L y_a4T7 y_a4T8) = do Refl <- (geq x_a4T5) y_a4T7 guard (x_a4T6 == y_a4T8) return Refl geq _ _ = Nothing test/test.hs:104:1-20: Splicing declarations deriveGCompare ''Foo ======> instance (GCompare Foo, GCompare Foo) => GCompare Foo where gcompare I I = runGComparing (do return GEQ) gcompare I {} _ = GLT gcompare _ I {} = GGT gcompare D D = runGComparing (do return GEQ) gcompare D {} _ = GLT gcompare _ D {} = GGT gcompare (A x_a4Ur x_a4Us) (A y_a4Ut y_a4Uu) = runGComparing (do Refl <- (geq' x_a4Ur) y_a4Ut Refl <- (geq' x_a4Us) y_a4Uu return GEQ) gcompare A {} _ = GLT gcompare _ A {} = GGT test/test.hs:105:1-20: Splicing declarations deriveGCompare ''Bar ======> instance (GCompare Foo, GCompare Foo) => GCompare Bar where gcompare (F x_a4X9) (F y_a4Xa) = runGComparing (do Refl <- (geq' x_a4X9) y_a4Xa return GEQ) gcompare F {} _ = GLT gcompare _ F {} = GGT gcompare S S = runGComparing (do return GEQ) gcompare S {} _ = GLT gcompare _ S {} = GGT test/test.hs:106:1-20: Splicing declarations deriveGCompare ''Qux ======> instance (GCompare Foo, GCompare Foo, GCompare Foo, GCompare Foo) => GCompare Qux where gcompare (FB x_a4YQ x_a4YR) (FB y_a4YS y_a4YT) = runGComparing (do Refl <- (geq' x_a4YQ) y_a4YS Refl <- (geq' x_a4YR) y_a4YT return GEQ) gcompare FB {} _ = GLT gcompare _ FB {} = GGT test/test.hs:107:1-20: Splicing declarations deriveGCompare ''Baz ======> instance (GCompare Foo, GCompare Foo, GCompare Foo, GCompare Foo) => GCompare Baz where gcompare (L x_a50Y x_a50Z) (L y_a510 y_a511) = runGComparing (do Refl <- (geq' x_a50Y) y_a510 (compare' x_a50Z) y_a511 return GEQ) gcompare L {} _ = GLT gcompare _ L {} = GGT test/test.hs:109:1-17: Splicing declarations deriveGShow ''Foo ======> instance GShow Foo where gshowsPrec _ I = showString "I" gshowsPrec _ D = showString "D" gshowsPrec prec_a52S (A x_a52T x_a52U) = (showParen (prec_a52S > 10)) (showString "A" . (showChar ' ' . ((gshowsPrec 11) x_a52T . (showChar ' ' . ((gshowsPrec 11) x_a52U . id))))) test/test.hs:111:1-17: Splicing declarations deriveGShow ''Bar ======> instance GShow Bar where gshowsPrec prec_a54v (F x_a54w) = (showParen (prec_a54v > 10)) (showString "F" . (showChar ' ' . ((showsPrec 11) x_a54w . id))) gshowsPrec _ S = showString "S" test/test.hs:113:1-17: Splicing declarations deriveGShow ''Qux ======> instance GShow Qux where gshowsPrec prec_a55S (FB x_a55T x_a55U) = (showParen (prec_a55S > 10)) (showString "FB" . (showChar ' ' . ((showsPrec 11) x_a55T . (showChar ' ' . ((showsPrec 11) x_a55U . id))))) test/test.hs:115:1-17: Splicing declarations deriveGShow ''Baz ======> instance GShow Baz where gshowsPrec prec_a57u (L x_a57v x_a57w) = (showParen (prec_a57u > 10)) (showString "L" . (showChar ' ' . ((showsPrec 11) x_a57v . (showChar ' ' . ((showsPrec 11) x_a57w . id))))) test/test.hs:121:1-19: Splicing declarations deriveGEq ''Squudge ======> instance (GEq Foo, GEq Foo) => GEq Squudge where geq (E x_a59r) (E y_a59s) = do Refl <- (geq x_a59r) y_a59s return Refl geq _ _ = Nothing test/test.hs:122:1-24: Splicing declarations deriveGCompare ''Squudge ======> instance (GCompare Foo, GCompare Foo) => GCompare Squudge where gcompare (E x_a5ay) (E y_a5az) = runGComparing (do Refl <- (geq' x_a5ay) y_a5az return GEQ) gcompare E {} _ = GLT gcompare _ E {} = GGT test/test.hs:123:1-21: Splicing declarations deriveGShow ''Squudge ======> instance GShow Squudge where gshowsPrec prec_a5c5 (E x_a5c6) = (showParen (prec_a5c5 > 10)) (showString "E" . (showChar ' ' . ((showsPrec 11) x_a5c6 . id))) test/test.hs:151:1-17: Splicing declarations deriveGEq ''Empty ======> instance GEq Empty where geq _ _ = Nothing test/test.hs:152:1-22: Splicing declarations deriveGCompare ''Empty ======> instance GCompare Empty where gcompare = \ x_a5hc y_a5hd -> (seq x_a5hc) ((seq y_a5hd) undefined) test/test.hs:159:1-18: Splicing declarations deriveGEq ''Spleeb ======> instance (GEq a_a5hg, GEq Foo, GEq Foo, GEq Foo, GEq Foo) => GEq (Spleeb (a_a5hg :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where geq (P x_a5iM x_a5iN) (P y_a5iO y_a5iP) = do Refl <- (geq x_a5iM) y_a5iO Refl <- (geq x_a5iN) y_a5iP return Refl geq _ _ = Nothing test/test.hs:160:1-23: Splicing declarations deriveGCompare ''Spleeb ======> instance (GCompare a_a5hg, GCompare Foo, GCompare Foo, GCompare Foo, GCompare Foo) => GCompare (Spleeb (a_a5hg :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where gcompare (P x_a5kr x_a5ks) (P y_a5kt y_a5ku) = runGComparing (do Refl <- (geq' x_a5kr) y_a5kt Refl <- (geq' x_a5ks) y_a5ku return GEQ) gcompare P {} _ = GLT gcompare _ P {} = GGT test/test.hs:166:1-20: Splicing declarations deriveGShow ''Spleeb ======> instance Show (a_a5hg Double) => GShow (Spleeb (a_a5hg :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where gshowsPrec prec_a5mz (P x_a5mA x_a5mB) = (showParen (prec_a5mz > 10)) (showString "P" . (showChar ' ' . ((showsPrec 11) x_a5mA . (showChar ' ' . ((showsPrec 11) x_a5mB . id))))) test/test.hs:(178,1)-(190,9): Splicing declarations do [geqInst_a5oF, gcompareInst_a5oG, gshowInst_a5oH] <- [d| instance (Show (a_a5oC Double), Show (a_a5oC Int), GShow Qux, GShow Foo) => GShow (SpleebHard a_a5oC) instance GCompare a_a5oD => GCompare (SpleebHard a_a5oD) instance GEq a_a5oE => GEq (SpleebHard a_a5oE) |] concat <$> sequence [deriveGEq geqInst_a5oF, deriveGCompare gcompareInst_a5oG, deriveGShow gshowInst_a5oH] ======> instance GEq (a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type) => GEq (SpleebHard (a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where geq (PH x_a5Gn x_a5Go) (PH y_a5Gp y_a5Gq) = do Refl <- (geq x_a5Gn) y_a5Gp Refl <- (geq x_a5Go) y_a5Gq return Refl geq (PI x_a5Gy x_a5Gz) (PI y_a5GA y_a5GB) = do Refl <- (geq x_a5Gy) y_a5GA Refl <- (geq x_a5Gz) y_a5GB return Refl geq _ _ = Nothing instance GCompare (a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type) => GCompare (SpleebHard (a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where gcompare (PH x_a5H7 x_a5H8) (PH y_a5H9 y_a5Ha) = runGComparing (do Refl <- (geq' x_a5H7) y_a5H9 Refl <- (geq' x_a5H8) y_a5Ha return GEQ) gcompare PH {} _ = GLT gcompare _ PH {} = GGT gcompare (PI x_a5Hi x_a5Hj) (PI y_a5Hk y_a5Hl) = runGComparing (do Refl <- (geq' x_a5Hi) y_a5Hk Refl <- (geq' x_a5Hj) y_a5Hl return GEQ) gcompare PI {} _ = GLT gcompare _ PI {} = GGT instance (Show ((a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type) Double), Show ((a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type) Int), GShow Qux, GShow Foo) => GShow (SpleebHard (a_a5mP :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where gshowsPrec prec_a5HR (PH x_a5HS x_a5HT) = (showParen (prec_a5HR > 10)) (showString "PH" . (showChar ' ' . ((showsPrec 11) x_a5HS . (showChar ' ' . ((showsPrec 11) x_a5HT . id))))) gshowsPrec prec_a5I4 (PI x_a5I5 x_a5I6) = (showParen (prec_a5I4 > 10)) (showString "PI" . (showChar ' ' . ((showsPrec 11) x_a5I5 . (showChar ' ' . ((showsPrec 11) x_a5I6 . id))))) test/test.hs:198:1-23: Splicing declarations deriveGEq ''SpleebHard2 ======> instance (GEq a_a5Ik, GEq Foo, GEq Foo, GEq Foo, GEq Foo, GEq a_a5Ik, GEq Foo, GEq Foo) => GEq (SpleebHard2 (a_a5Ik :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where geq (PH2 x_a5PG x_a5PH) (PH2 y_a5PI y_a5PJ) = do Refl <- (geq x_a5PG) y_a5PI Refl <- (geq x_a5PH) y_a5PJ return Refl geq (PI2 x_a5PR x_a5PS) (PI2 y_a5PT y_a5PU) = do Refl <- (geq x_a5PR) y_a5PT Refl <- (geq x_a5PS) y_a5PU return Refl geq _ _ = Nothing test/test.hs:199:1-28: Splicing declarations deriveGCompare ''SpleebHard2 ======> instance (GCompare a_a5Ik, GCompare Foo, GCompare Foo, GCompare Foo, GCompare Foo, GCompare a_a5Ik, GCompare Foo, GCompare Foo) => GCompare (SpleebHard2 (a_a5Ik :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where gcompare (PH2 x_a5Sl x_a5Sm) (PH2 y_a5Sn y_a5So) = runGComparing (do Refl <- (geq' x_a5Sl) y_a5Sn Refl <- (geq' x_a5Sm) y_a5So return GEQ) gcompare PH2 {} _ = GLT gcompare _ PH2 {} = GGT gcompare (PI2 x_a5Sw x_a5Sx) (PI2 y_a5Sy y_a5Sz) = runGComparing (do Refl <- (geq' x_a5Sw) y_a5Sy Refl <- (geq' x_a5Sx) y_a5Sz return GEQ) gcompare PI2 {} _ = GLT gcompare _ PI2 {} = GGT test/test.hs:200:1-25: Splicing declarations deriveGShow ''SpleebHard2 ======> instance (Show (a_a5Ik Double), Show (a_a5Ik Int)) => GShow (SpleebHard2 (a_a5Ik :: ghc-prim:GHC.Types.Type -> ghc-prim:GHC.Types.Type)) where gshowsPrec prec_a5VP (PH2 x_a5VQ x_a5VR) = (showParen (prec_a5VP > 10)) (showString "PH2" . (showChar ' ' . ((showsPrec 11) x_a5VQ . (showChar ' ' . ((showsPrec 11) x_a5VR . id))))) gshowsPrec prec_a5W2 (PI2 x_a5W3 x_a5W4) = (showParen (prec_a5W2 > 10)) (showString "PI2" . (showChar ' ' . ((showsPrec 11) x_a5W3 . (showChar ' ' . ((showsPrec 11) x_a5W4 . id))))) test/test.hs:(203,1)-(217,9): Splicing declarations do decs_a5XE <- [d| data Fnord_a5XA a_a5XD where Yarr_a5XB :: Fnord_a5XA Double Grr_a5XC :: Fnord_a5XA (Int -> String) |] geqInst_a5XF <- deriveGEq decs_a5XE gcompareInst_a5XG <- deriveGCompare decs_a5XE gshowInst_a5XH <- deriveGShow decs_a5XE return $ concat [decs_a5XE, geqInst_a5XF, gcompareInst_a5XG, gshowInst_a5XH] ======> data Fnord_a5ZF a_a5ZI where Yarr_a5ZG :: Fnord_a5ZF Double Grr_a5ZH :: Fnord_a5ZF (Int -> String) instance GEq Fnord_a5ZF where geq Yarr_a5ZG Yarr_a5ZG = do return Refl geq Grr_a5ZH Grr_a5ZH = do return Refl geq _ _ = Nothing instance GCompare Fnord_a5ZF where gcompare Yarr_a5ZG Yarr_a5ZG = runGComparing (do return GEQ) gcompare Yarr_a5ZG {} _ = GLT gcompare _ Yarr_a5ZG {} = GGT gcompare Grr_a5ZH Grr_a5ZH = runGComparing (do return GEQ) gcompare Grr_a5ZH {} _ = GLT gcompare _ Grr_a5ZH {} = GGT instance GShow Fnord_a5ZF where gshowsPrec _ Yarr_a5ZG = showString "Yarr" gshowsPrec _ Grr_a5ZH = showString "Grr" test/test.hs:230:1-20: Splicing declarations deriveGShow ''MyTest ======> instance GShow (MyTest (a_a5ZO :: k_a60I)) where gshowsPrec _ MyTest_1 = showString "MyTest_1" gshowsPrec _ MyTest_2 = showString "MyTest_2" test/test.hs:231:1-18: Splicing declarations deriveGEq ''MyTest ======> instance GEq (MyTest (a_a5ZO :: k_a60I)) where geq MyTest_1 MyTest_1 = do return Refl geq MyTest_2 MyTest_2 = do return Refl geq _ _ = Nothing test/test.hs:232:1-23: Splicing declarations deriveGCompare ''MyTest ======> instance GCompare (MyTest (a_a5ZO :: k_a60I)) where gcompare MyTest_1 MyTest_1 = runGComparing (do return GEQ) gcompare MyTest_1 {} _ = GLT gcompare _ MyTest_1 {} = GGT gcompare MyTest_2 MyTest_2 = runGComparing (do return GEQ) gcompare MyTest_2 {} _ = GLT gcompare _ MyTest_2 {} = GGT test/test.hs:233:1-22: Splicing declarations deriveArgDict ''MyTest ======> instance (c_a6aO (), c_a6aO Int) => Data.Constraint.Extras.Has c_a6aO (MyTest a_a6aN) where Data.Constraint.Extras.argDict = \case MyTest_1 {} -> constraints-0.14-d374131977330c13412334b1eafa5ec5ceb550d9646319c48dd9f6abb235dbfa:Data.Constraint.Dict MyTest_2 {} -> constraints-0.14-d374131977330c13412334b1eafa5ec5ceb550d9646319c48dd9f6abb235dbfa:Data.Constraint.Dict Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/build/test/test ... Running 1 test suites... Test suite test: RUNNING... Test suite test: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/dependent-sum-template-0.2.0.1.test Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/hpc/vanilla/html/test/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/dependent-sum-template-0.2.0.1/noopt/hpc/vanilla/html/dependent-sum-template-0.2.0.1/hpc_index.html