diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T6018fail.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T6018fail.stderr | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T6018fail.stderr b/testsuite/tests/typecheck/should_fail/T6018fail.stderr index 78a92e7d1b..4171226794 100644 --- a/testsuite/tests/typecheck/should_fail/T6018fail.stderr +++ b/testsuite/tests/typecheck/should_fail/T6018fail.stderr @@ -4,53 +4,53 @@ [4 of 5] Compiling T6018Dfail ( T6018Dfail.hs, T6018Dfail.o ) [5 of 5] Compiling T6018fail ( T6018fail.hs, T6018fail.o ) -T6018fail.hs:15:15: error: +T6018fail.hs:15:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: F Bool Int Char = Int -- Defined at T6018fail.hs:15:15 F Char Bool Int = Int -- Defined at T6018fail.hs:14:15 -T6018fail.hs:21:15: error: +T6018fail.hs:21:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: I Int Int Int = Bool -- Defined at T6018fail.hs:21:15 I Int Char Bool = Bool -- Defined at T6018fail.hs:20:15 -T6018fail.hs:30:15: error: +T6018fail.hs:30:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation cannot be a type family: IdProxy a = Id a -- Defined at T6018fail.hs:30:15 -T6018fail.hs:38:15: error: +T6018fail.hs:38:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation is a bare type variable but these LHS type and kind patterns are not bare variables: ‘'Z’ P 'Z m = m -- Defined at T6018fail.hs:38:15 -T6018fail.hs:39:15: error: +T6018fail.hs:39:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: P ('S n) m = 'S (P n m) -- Defined at T6018fail.hs:39:15 P 'Z m = m -- Defined at T6018fail.hs:38:15 -T6018fail.hs:44:15: error: +T6018fail.hs:44:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘b’ cannot be inferred from the right-hand side. In the type family equation: J Int b c = Char -- Defined at T6018fail.hs:44:15 -T6018fail.hs:48:15: error: +T6018fail.hs:48:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘n’ cannot be inferred from the right-hand side. In the type family equation: K ('S n) m = 'S m -- Defined at T6018fail.hs:48:15 -T6018fail.hs:53:15: error: +T6018fail.hs:53:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation cannot be a type family: L a = MaybeSyn a -- Defined at T6018fail.hs:53:15 -T6018fail.hs:61:10: error: +T6018fail.hs:61:10: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variable ‘k1’ cannot be inferred from the right-hand side. @@ -58,7 +58,7 @@ T6018fail.hs:61:10: error: PolyKindVarsF @{[k1]} @[k2] ('[] @k1) = '[] @k2 -- Defined at T6018fail.hs:61:10 -T6018fail.hs:64:15: error: +T6018fail.hs:64:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variable ‘k1’ cannot be inferred from the right-hand side. @@ -66,14 +66,14 @@ T6018fail.hs:64:15: error: PolyKindVars @[k1] @[k2] ('[] @k1) = '[] @k2 -- Defined at T6018fail.hs:64:15 -T6018fail.hs:68:15: error: +T6018fail.hs:68:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variable ‘k’ cannot be inferred from the right-hand side. In the type family equation: forall {k} {a :: k} {b :: k}. Fc @k a b = Int -- Defined at T6018fail.hs:68:15 -T6018fail.hs:72:15: error: +T6018fail.hs:72:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variables ‘k’, ‘a’, ‘b’ cannot be inferred from the right-hand side. @@ -81,60 +81,60 @@ T6018fail.hs:72:15: error: forall {k} {a :: k} {b :: k}. Gc @k a b = Int -- Defined at T6018fail.hs:72:15 -T6018fail.hs:76:15: error: +T6018fail.hs:76:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: F1 [a] = Maybe (GF1 a) -- Defined at T6018fail.hs:76:15 F1 (Maybe a) = Maybe (GF2 a) -- Defined at T6018fail.hs:77:15 -T6018fail.hs:89:15: error: +T6018fail.hs:89:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation is a bare type variable but these LHS type and kind patterns are not bare variables: ‘[a]’ W1 [a] = a -- Defined at T6018fail.hs:89:15 -T6018fail.hs:92:15: error: +T6018fail.hs:92:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation cannot be a type family: W2 [a] = W2 a -- Defined at T6018fail.hs:92:15 -T6018fail.hs:97:15: error: +T6018fail.hs:97:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: Z1 (Maybe b) = (b, [b]) -- Defined at T6018fail.hs:97:15 Z1 [a] = (a, a) -- Defined at T6018fail.hs:96:15 -T6018fail.hs:101:15: error: +T6018fail.hs:101:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G1 (Maybe b) = [(b, b)] -- Defined at T6018fail.hs:101:15 G1 [a] = [a] -- Defined at T6018fail.hs:100:15 -T6018fail.hs:105:15: error: +T6018fail.hs:105:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G3 a Bool = (Bool, a) -- Defined at T6018fail.hs:105:15 G3 a Int = (a, Int) -- Defined at T6018fail.hs:104:15 -T6018fail.hs:108:15: error: +T6018fail.hs:108:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘b’ cannot be inferred from the right-hand side. In the type family equation: G4 a b = [a] -- Defined at T6018fail.hs:108:15 -T6018fail.hs:112:15: error: +T6018fail.hs:112:15: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G5 Int = [Bool] -- Defined at T6018fail.hs:112:15 G5 [a] = [GF1 a] -- Defined at T6018fail.hs:111:15 -T6018fail.hs:115:15: error: +T6018fail.hs:115:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type variable ‘a’ cannot be inferred from the right-hand side. In the type family equation: G6 [a] = [HF1 a] -- Defined at T6018fail.hs:115:15 -T6018fail.hs:120:15: error: +T6018fail.hs:120:15: error: [GHC-05175] Type family equation violates the family's injectivity annotation. Type/kind variables ‘k’, ‘c’ cannot be inferred from the right-hand side. @@ -142,26 +142,26 @@ T6018fail.hs:120:15: error: forall {k} {a} {b} {c :: k}. G7 @k a b c = [G7a @k a b c] -- Defined at T6018fail.hs:120:15 -T6018fail.hs:131:1: error: +T6018fail.hs:131:1: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: FC Int Bool = Bool -- Defined at T6018fail.hs:131:1 FC Int Char = Bool -- Defined at T6018fail.hs:127:10 -T6018fail.hs:136:1: error: +T6018fail.hs:136:1: error: [GHC-05175] Type family equation violates the family's injectivity annotation. RHS of injective type family equation is a bare type variable but these LHS type and kind patterns are not bare variables: ‘*’, ‘Char’ FC Char a = a -- Defined at T6018fail.hs:136:1 -module T6018Cfail: error: +module T6018Cfail: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: T6018Bfail.H Char Bool Int = Int -- Defined in module T6018Cfail T6018Bfail.H Bool Int Char = Int -- Defined in module T6018Dfail -module T6018Afail: error: +module T6018Afail: error: [GHC-05175] Type family equation right-hand sides overlap; this violates the family's injectivity annotation: G Char Bool Int = Int -- Defined in module T6018Afail |