[all reports]
| Package |
dependent-sum-template-0.2.0.1 |
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2023-12-06 17:24:44.668948735 UTC
|
| Compiler |
ghc-9.2.4 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.16.3.0, containers-0.6.5.1, mtl-2.2.2, some-1.0.6, template-haskell-2.18.0.0, th-abstraction-0.6.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 54% (24/44) |
|---|
| boolean | guards | 100% (0/0) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 62% (5/8) |
|---|
| local declarations | 100% (0/0) |
|---|
| top-level declarations | 62% (5/8) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting th-abstraction-0.6.0.0
Starting base-orphans-0.9.1
Building base-orphans-0.9.1
Building th-abstraction-0.6.0.0
Completed base-orphans-0.9.1
Starting some-1.0.6
Building some-1.0.6
Completed th-abstraction-0.6.0.0
Completed some-1.0.6
Downloading dependent-sum-template-0.2.0.1
Downloaded dependent-sum-template-0.2.0.1
Starting dependent-sum-template-0.2.0.1
Building dependent-sum-template-0.2.0.1
Completed dependent-sum-template-0.2.0.1
Test log
[view raw]
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