Commit 7348bb7a authored by Simon Peyton Jones's avatar Simon Peyton Jones

Error message wibbles for new CoAxiom story

parent 9284030b
......@@ -48,18 +48,7 @@ Generic representation:
GenDerivOutput.S1_1_1List
Representation types:
GenDerivOutput.Rep_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.Par0 a)
GHC.Generics.:*: GHC.Generics.S1
GenDerivOutput.S1_1_1List
(GHC.Generics.Rec0
(GenDerivOutput.List
a))))
type GHC.Generics.Rep (GenDerivOutput.List a)
-- Defined at {-# LINE 8 "GenDerivOutput.hs #-}
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 :: forall c t t1.
(Num t1, Num t, Coll c, Elem c ~ (t, t1)) =>
c -> c
TYPE CONSTRUCTORS
class Coll c
RecFlag NonRecursive
type family Elem c :: *
empty :: c insert :: Elem c -> c -> c
data ListColl a
RecFlag NonRecursive
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl [a]
:: Elem (ListColl a) ~# Foo.R:ElemListColl a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11
FAMILY INSTANCES
type Elem (ListColl a) -- Defined at T3017.hs:13:9
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
TYPE SIGNATURES
emptyL :: forall a. ListColl a
test2 :: forall c t t1.
(Num t1, Num t, Coll c, Elem c ~ (t, t1)) =>
c -> c
TYPE CONSTRUCTORS
class Coll c
RecFlag NonRecursive
type family Elem c :: *
empty :: c insert :: Elem c -> c -> c
data ListColl a
RecFlag NonRecursive
= L :: forall a. [a] -> ListColl a Stricts: _
FamilyInstance: none
COERCION AXIOMS
axiom Foo.TFCo:R:ElemListColl [a] :: Elem (ListColl a) ~# a
INSTANCES
instance Coll (ListColl a) -- Defined at T3017.hs:12:11
FAMILY INSTANCES
type Elem (ListColl a) -- Defined at T3017.hs:13:9
Dependent modules: []
Dependent packages: [base, ghc-prim, integer-gmp]
......@@ -4,9 +4,11 @@ readFail001.hs:25:11:
readFail001.hs:38:32:
Not in scope: type constructor or class `Leaf'
A data constructor of that name is in scope; did you mean -XPolyKinds?
readFail001.hs:38:41:
Not in scope: type constructor or class `Leaf'
A data constructor of that name is in scope; did you mean -XPolyKinds?
readFail001.hs:87:11: Not in scope: `x'
......
......@@ -12,21 +12,13 @@ RnFail055.hs-boot:4:1:
RnFail055.hs-boot:6:6:
Type constructor `S1' has conflicting definitions in the module and its hs-boot file
Main module: type S1 a b
= (a, b)
FamilyInstance: none
Boot file: type S1 a b c
= (a, b)
FamilyInstance: none
Main module: type S1 a b = (a, b)
Boot file: type S1 a b c = (a, b)
RnFail055.hs-boot:8:6:
Type constructor `S2' has conflicting definitions in the module and its hs-boot file
Main module: type S2 a b
= forall a. (a, b)
FamilyInstance: none
Boot file: type S2 a b
= forall b. (a, b)
FamilyInstance: none
Main module: type S2 a b = forall a. (a, b)
Boot file: type S2 a b = forall b. (a, b)
RnFail055.hs-boot:12:6:
Type constructor `T1' has conflicting definitions in the module and its hs-boot file
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment