Commit 90a2bb6f authored by eir@cis.upenn.edu's avatar eir@cis.upenn.edu
Browse files

Testsuite wibbles due to #9204

parent ee0f34d5
......@@ -25,3 +25,4 @@ ClosedFam3.hs-boot:12:1:
Baz Int = Bool
Boot file: type family Baz (a :: k) :: * where
Baz * Int = Bool
The types have different kinds
......@@ -10,34 +10,38 @@ RnFail055.hs-boot:4:1:
and its hs-boot file
Main module: f1 :: Int -> Float
Boot file: f1 :: Float -> Int
The two types are different
RnFail055.hs-boot:6:1:
Type constructor ‘S1’ has conflicting definitions in the module
and its hs-boot file
Main module: type S1 a b = (a, b)
Boot file: type S1 a b c = (a, b)
The types have different kinds
RnFail055.hs-boot:8:1:
Type constructor ‘S2’ has conflicting definitions in the module
and its hs-boot file
Main module: type S2 a b = forall a1. (a1, b)
Boot file: type S2 a b = forall b1. (a, b1)
The roles do not match. Roles default to ‘representational’ in boot files
RnFail055.hs-boot:12:1:
Type constructor ‘T1’ has conflicting definitions in the module
and its hs-boot file
Main module: data T1 a b = T1 [b] [a]
Boot file: data T1 a b = T1 [a] [b]
The constructors do not match: The types for ‘T1’ differ
RnFail055.hs-boot:14:1:
Type constructor ‘T2’ has conflicting definitions in the module
and its hs-boot file
Main module: type role T2 representational nominal
data Eq b => T2 a b
= T2 a
data Eq b => T2 a b = T2 a
Boot file: type role T2 nominal representational
data Eq a => T2 a b
= T2 a
data Eq a => T2 a b = T2 a
The roles do not match. Roles default to ‘representational’ in boot files
The datatype contexts do not match
RnFail055.hs-boot:16:11:
T3 is exported by the hs-boot file, but not exported by the module
......@@ -50,12 +54,16 @@ RnFail055.hs-boot:21:1:
and its hs-boot file
Main module: data T5 a = T5 {field5 :: a}
Boot file: data T5 a = T5 a
The constructors do not match:
The record label lists for ‘T5’ differ
RnFail055.hs-boot:23:1:
Type constructor ‘T6’ has conflicting definitions in the module
and its hs-boot file
Main module: data T6 = T6 Int
Boot file: data T6 = T6 !Int
The constructors do not match:
The strictness annotations for ‘T6’ differ
RnFail055.hs-boot:25:1:
Type constructor ‘T7’ has conflicting definitions in the module
......@@ -64,6 +72,8 @@ RnFail055.hs-boot:25:1:
data T7 a where
T7 :: a1 -> T7 a
Boot file: data T7 a = T7 a
The roles do not match. Roles default to ‘representational’ in boot files
The constructors do not match: The types for ‘T7’ differ
RnFail055.hs-boot:27:22:
RnFail055.m1 is exported by the hs-boot file, but not exported by the module
......@@ -76,9 +86,11 @@ RnFail055.hs-boot:28:1:
m2' :: a -> b
Boot file: class C2 a b where
m2 :: a -> b
The methods do not match: There are different numbers of methods
RnFail055.hs-boot:29:1:
Class ‘C3’ has conflicting definitions in the module
and its hs-boot file
Main module: class (Eq a, Ord a) => C3 a
Boot file: class (Ord a, Eq a) => C3 a
The class constraints do not match
......@@ -5,3 +5,4 @@ Roles12.hs:5:1:
Main module: type role T phantom
data T a
Boot file: abstract T a
The roles do not match. Roles default to ‘representational’ in boot files
......@@ -6,3 +6,4 @@ T3468.hs-boot:3:1:
data Tool d where
F :: a -> Tool d
Boot file: abstract Tool
The types have different kinds
......@@ -5,9 +5,11 @@ tcfail220.hsig:4:1:
and its hsig file
Main module: data Bool = False | GHC.Types.True
Hsig file: data Bool a b c d = False
The types have different kinds
tcfail220.hsig:5:1:
Type constructor ‘Maybe’ has conflicting definitions in the module
and its hsig file
Main module: data Maybe a = Nothing | GHC.Base.Just a
Hsig file: data Maybe a b = Nothing
The types have different kinds
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