diff options
| author | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2012-06-21 12:13:33 +0100 |
|---|---|---|
| committer | Jose Pedro Magalhaes <jpm@cs.ox.ac.uk> | 2012-06-21 12:13:49 +0100 |
| commit | 686628d242e497a746d6272247445def6b6a2485 (patch) | |
| tree | 772364e12390647df0a2bfae0b863c8daea60ef8 /testsuite/tests/generics/GenDerivOutput.stderr | |
| parent | 9d3bf7df0d059cb4b5273edd73a0eb9bb0a856eb (diff) | |
| download | haskell-686628d242e497a746d6272247445def6b6a2485.tar.gz | |
Add tests for deriving Generic1
Most of these tests were written by Nicolas Frisby.
Diffstat (limited to 'testsuite/tests/generics/GenDerivOutput.stderr')
| -rw-r--r-- | testsuite/tests/generics/GenDerivOutput.stderr | 129 |
1 files changed, 128 insertions, 1 deletions
diff --git a/testsuite/tests/generics/GenDerivOutput.stderr b/testsuite/tests/generics/GenDerivOutput.stderr index b703b47768..954ea5ba5d 100644 --- a/testsuite/tests/generics/GenDerivOutput.stderr +++ b/testsuite/tests/generics/GenDerivOutput.stderr @@ -20,6 +20,74 @@ Derived instances: (GHC.Generics.M1 (GHC.Generics.K1 g2)))))) = GenDerivOutput.Cons g1 g2 + instance GHC.Generics.Generic1 GenDerivOutput.List where + GHC.Generics.from1 GenDerivOutput.Nil + = GHC.Generics.M1 + (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)) + GHC.Generics.from1 (GenDerivOutput.Cons g1 g2) + = GHC.Generics.M1 + (GHC.Generics.R1 + (GHC.Generics.M1 + ((GHC.Generics.:*:) + (GHC.Generics.M1 (GHC.Generics.Par1 g1)) + (GHC.Generics.M1 (GHC.Generics.Rec1 g2))))) + GHC.Generics.to1 + (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))) + = GenDerivOutput.Nil + GHC.Generics.to1 + (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1) + (GHC.Generics.M1 g2))))) + = GenDerivOutput.Cons + (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2) + + instance GHC.Base.Functor GenDerivOutput.List where + GHC.Base.fmap f GenDerivOutput.Nil = GenDerivOutput.Nil + GHC.Base.fmap f (GenDerivOutput.Cons a1 a2) + = GenDerivOutput.Cons (f a1) (GHC.Base.fmap (\ b1 -> f b1) a2) + + instance GHC.Generics.Generic (GenDerivOutput.Rose a) where + GHC.Generics.from GenDerivOutput.Empty + = GHC.Generics.M1 + (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)) + GHC.Generics.from (GenDerivOutput.Rose g1 g2) + = GHC.Generics.M1 + (GHC.Generics.R1 + (GHC.Generics.M1 + ((GHC.Generics.:*:) + (GHC.Generics.M1 (GHC.Generics.K1 g1)) + (GHC.Generics.M1 (GHC.Generics.K1 g2))))) + GHC.Generics.to + (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))) + = GenDerivOutput.Empty + GHC.Generics.to + (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 (GHC.Generics.K1 g1)) + (GHC.Generics.M1 (GHC.Generics.K1 g2)))))) + = GenDerivOutput.Rose g1 g2 + + instance GHC.Generics.Generic1 GenDerivOutput.Rose where + GHC.Generics.from1 GenDerivOutput.Empty + = GHC.Generics.M1 + (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)) + GHC.Generics.from1 (GenDerivOutput.Rose g1 g2) + = GHC.Generics.M1 + (GHC.Generics.R1 + (GHC.Generics.M1 + ((GHC.Generics.:*:) + (GHC.Generics.M1 (GHC.Generics.Par1 g1)) + (GHC.Generics.M1 + ((GHC.Base..) + GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g2))))) + GHC.Generics.to1 + (GHC.Generics.M1 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))) + = GenDerivOutput.Empty + GHC.Generics.to1 + (GHC.Generics.M1 (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.:*: (GHC.Generics.M1 g1) + (GHC.Generics.M1 g2))))) + = GenDerivOutput.Rose + (GHC.Generics.unPar1 g1) + ((GHC.Base..) + (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g2) + instance GHC.Generics.Datatype GenDerivOutput.D1List where GHC.Generics.datatypeName _ = "List" GHC.Generics.moduleName _ = "GenDerivOutput" @@ -37,6 +105,16 @@ Derived instances: instance GHC.Generics.Selector GenDerivOutput.S1_1_1List where GHC.Generics.selName _ = "rest" + instance GHC.Generics.Datatype GenDerivOutput.D1Rose where + GHC.Generics.datatypeName _ = "Rose" + GHC.Generics.moduleName _ = "GenDerivOutput" + + instance GHC.Generics.Constructor GenDerivOutput.C1_0Rose where + GHC.Generics.conName _ = "Empty" + + instance GHC.Generics.Constructor GenDerivOutput.C1_1Rose where + GHC.Generics.conName _ = "Rose" + Generic representation: @@ -46,6 +124,11 @@ Generic representation: GenDerivOutput.C1_1List GenDerivOutput.S1_1_0List GenDerivOutput.S1_1_1List + GenDerivOutput.D1Rose + GenDerivOutput.C1_0Rose + GenDerivOutput.C1_1Rose + GenDerivOutput.S1_1_0Rose + GenDerivOutput.S1_1_1Rose Representation types: type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1 @@ -56,9 +139,53 @@ Generic representation: GenDerivOutput.C1_1List (GHC.Generics.S1 GenDerivOutput.S1_1_0List - (GHC.Generics.Par0 a) + (GHC.Generics.Rec0 a) GHC.Generics.:*: GHC.Generics.S1 GenDerivOutput.S1_1_1List (GHC.Generics.Rec0 (GenDerivOutput.List a)))) + type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1 + GenDerivOutput.D1List + (GHC.Generics.C1 + GenDerivOutput.C1_0List GHC.Generics.U1 + GHC.Generics.:+: GHC.Generics.C1 + GenDerivOutput.C1_1List + (GHC.Generics.S1 + GenDerivOutput.S1_1_0List + GHC.Generics.Par1 + GHC.Generics.:*: GHC.Generics.S1 + GenDerivOutput.S1_1_1List + (GHC.Generics.Rec1 + GenDerivOutput.List))) + type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1 + GenDerivOutput.D1Rose + (GHC.Generics.C1 + GenDerivOutput.C1_0Rose GHC.Generics.U1 + GHC.Generics.:+: GHC.Generics.C1 + GenDerivOutput.C1_1Rose + (GHC.Generics.S1 + GHC.Generics.NoSelector + (GHC.Generics.Rec0 a) + GHC.Generics.:*: GHC.Generics.S1 + GHC.Generics.NoSelector + (GHC.Generics.Rec0 + (GenDerivOutput.List + (GenDerivOutput.Rose + a))))) + type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1 + GenDerivOutput.D1Rose + (GHC.Generics.C1 + GenDerivOutput.C1_0Rose GHC.Generics.U1 + GHC.Generics.:+: GHC.Generics.C1 + GenDerivOutput.C1_1Rose + (GHC.Generics.S1 + GHC.Generics.NoSelector + GHC.Generics.Par1 + GHC.Generics.:*: GHC.Generics.S1 + GHC.Generics.NoSelector + (GenDerivOutput.List + GHC.Generics.:.: GHC.Generics.Rec1 + GenDerivOutput.Rose))) + + |