Commit e0de482d authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Update test results for the 6.10 branch

parent 0694fc71
# Boxy-type tests
test('Base1', normal, compile, [''])
test('Base1', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('Church1', normal, compile, [''])
test('Church2', expect_broken(1330), compile_fail, [''])
test('PList1', normal, compile, [''])
test('PList2', normal, compile, [''])
test('PList1', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('PList2', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('SystemF', normal, compile, [''])
test('boxy', normal, compile, [''])
test('Compose', normal, compile, [''])
test('boxy', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('Compose', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
......@@ -18,6 +18,12 @@ test('drv021', normal, compile, [''])
test('deriving-1935', normal, compile, [''])
test('T2378', normal, compile, [''])
test('T2856', normal, compile, [''])
test('drv-functor1', normal, compile, [''])
test('drv-functor1',
if_compiler_lt('ghc', '6.11', expect_fail),
compile,
[''])
test('drv-functor2', normal, compile, [''])
test('drv-foldable-traversable1', normal, compile, [''])
test('drv-foldable-traversable1',
if_compiler_lt('ghc', '6.11', expect_fail),
compile,
[''])
......@@ -23,6 +23,14 @@ test('T2604', normal, compile_fail, [''])
test('T2701', normal, compile_fail, [''])
test('T2851', normal, compile_fail, [''])
test('T2721', normal, compile_fail, [''])
test('drvfail-functor1', normal, compile_fail, [''])
test('drvfail-functor2', normal, compile_fail, [''])
test('drvfail-foldable-traversable1', normal, compile_fail, [''])
test('drvfail-functor1',
if_compiler_lt('ghc', '6.11', expect_fail),
compile_fail,
[''])
test('drvfail-functor2',
if_compiler_lt('ghc', '6.11', expect_fail),
compile_fail, [''])
test('drvfail-foldable-traversable1',
if_compiler_lt('ghc', '6.11', expect_fail),
compile_fail,
[''])
......@@ -26,4 +26,7 @@ test('drvrun020', normal, compile_and_run, [''])
test('drvrun021', normal, compile_and_run, [''])
test('drvrun022', normal, compile_and_run, ['-package syb'])
test('T2529', normal, compile_and_run, [''])
test('drvrun-functor1', normal, compile_and_run, [''])
test('drvrun-functor1',
if_compiler_lt('ghc', '6.11', expect_fail),
compile_and_run,
[''])
gadt10.hs:6:23:
`RInt' is not applied to enough type arguments
Expected kind `?', but `RInt' has kind `k -> *'
In the data type declaration for `RInt'
......@@ -31,7 +31,10 @@ test('print029', normal, ghci_script, ['print029.script'])
test('print030', normal, ghci_script, ['print030.script'])
test('print031', normal, ghci_script, ['print031.script'])
test('print032', expect_broken(1995), ghci_script, ['print032.script'])
test('print033', normal, ghci_script, ['print033.script'])
test('print033',
if_compiler_lt('ghc', '6.11', expect_fail),
ghci_script,
['print033.script'])
test('print034', normal, ghci_script, ['print034.script'])
test('break001', normal, ghci_script, ['break001.script'])
......
Simple14.hs:5:14:
Equality predicate used as a type
In the type `a ~ a'
In the data type declaration for `T'
rnfail026.hs:16:15:
Kind mis-match
Expected kind `* -> *', but `Set a' has kind `*'
In the instance declaration for `Monad (forall a. (Eq a) => Set a)'
rnfail026.hs:19:0:
Illegal polymorphic or qualified type: forall a. [a]
In the instance declaration for `Eq (forall a. [a])'
rnfail054.hs:6:8:
Local identifier `foo' used as a field name
In the expression: x {foo = 1}
In the definition of `foo': foo x = x {foo = 1}
RnFail055.hs-boot:4:0:
Identifier `f1' has conflicting definitions in the module and its hs-boot file
Main module: f1 :: Int -> Float
Boot file: f1 :: Float -> Int
RnFail055.hs-boot:6:5:
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
RnFail055.hs-boot:8:5:
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
RnFail055.hs-boot:12:5:
Type constructor `T1' has conflicting definitions in the module and its hs-boot file
Main module: data T1 a b
RecFlag Recursive
Generics: no
= T1 :: forall a b. [b] -> [a] -> T1 a b Stricts: _ _
FamilyInstance: none
Boot file: data T1 a b
RecFlag NonRecursive
Generics: no
= T1 :: forall a b. [a] -> [b] -> T1 a b Stricts: _ _
FamilyInstance: none
RnFail055.hs-boot:14:15:
Type constructor `T2' has conflicting definitions in the module and its hs-boot file
Main module: data Eq b => T2 a b
RecFlag Recursive
Generics: no
= T2 :: forall a b. a -> T2 a b Stricts: _
FamilyInstance: none
Boot file: data Eq a => T2 a b
RecFlag NonRecursive
Generics: no
= T2 :: forall a b. a -> T2 a b Stricts: _
FamilyInstance: none
RnFail055.hs-boot:16:10:
T3 is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:17:11:
T3' is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:21:5:
Type constructor `T5' has conflicting definitions in the module and its hs-boot file
Main module: data T5 a
RecFlag Recursive
Generics: no
= T5 :: forall a. a -> T5 a Stricts: _ Fields: field5
FamilyInstance: none
Boot file: data T5 a
RecFlag NonRecursive
Generics: no
= T5 :: forall a. a -> T5 a Stricts: _
FamilyInstance: none
RnFail055.hs-boot:23:5:
Type constructor `T6' has conflicting definitions in the module and its hs-boot file
Main module: data T6
RecFlag Recursive
Generics: no
= T6 :: Int -> T6 Stricts: _
FamilyInstance: none
Boot file: data T6
RecFlag NonRecursive
Generics: no
= T6 :: Int -> T6 Stricts: !
FamilyInstance: none
RnFail055.hs-boot:25:5:
Type constructor `T7' has conflicting definitions in the module and its hs-boot file
Main module: data T7 a
RecFlag Recursive
Generics: no
= T7 :: forall a a. a -> T7 a Stricts: _
FamilyInstance: none
Boot file: data T7 a
RecFlag NonRecursive
Generics: no
= T7 :: forall a b. a -> T7 a Stricts: _
FamilyInstance: none
RnFail055.hs-boot:27:21:
RnFail055.m1 is exported by the hs-boot file, but not exported by the module
RnFail055.hs-boot:28:6:
Class `C2' has conflicting definitions in the module and its hs-boot file
Main module: class C2 a b
RecFlag NonRecursive
m2 :: a -> b m2' :: a -> b
Boot file: class C2 a b
RecFlag NonRecursive
m2 :: a -> b
RnFail055.hs-boot:29:23:
Class `C3' has conflicting definitions in the module and its hs-boot file
Main module: class (Eq a, Ord a) => C3 a RecFlag NonRecursive
Boot file: class (Ord a, Eq a) => C3 a RecFlag NonRecursive
......@@ -222,10 +222,10 @@ test('tc207', normal, compile, [''])
test('tc208', normal, compile, [''])
test('tc209', normal, compile, [''])
test('tc210', normal, compile, [''])
test('tc211', normal, compile, [''])
test('tc211', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('tc212', normal, compile, [''])
test('tc213', normal, compile, [''])
test('tc214', normal, compile, [''])
test('tc214', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('tc215', expect_broken(366), compile, [''])
test('tc216', normal, compile, [''])
test('tc217', reqlib('mtl'), compile, [''])
......@@ -260,7 +260,8 @@ test('tc242', normal, compile, [''])
test('tc243', normal, compile, [''])
test('tc244', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
test('tc245',
extra_clean(['Tc245_A.hi', 'Tc245_A.o', 'tc245.hi', 'tc245.o']),
[extra_clean(['Tc245_A.hi', 'Tc245_A.o', 'tc245.hi', 'tc245.o']),
if_compiler_lt('ghc', '6.11', expect_fail)],
run_command,
['$MAKE -s --no-print-directory tc245'])
......
T2994.hs:11:21:
`Reader' r' is not applied to enough type arguments
Expected kind `*', but `Reader' r' has kind `* -> *'
In the instance declaration for `MonadReader (Reader' r)'
T2994.hs:13:9:
Kind error: `MonadReader' is applied to too many type arguments
In the instance declaration for `MonadReader r r (Reader' r)'
......@@ -152,7 +152,10 @@ test('tcfail161', normal, compile_fail, [''])
test('tcfail162', normal, compile_fail, [''])
test('tcfail163', normal, compile_fail, [''])
test('tcfail164', normal, compile_fail, [''])
test('tcfail165', normal, compile, ['']) # Succeeds now!
test('tcfail165',
if_compiler_lt('ghc', '6.11', expect_fail),
compile,
['']) # Succeeds now!
test('tcfail166', normal, compile_fail, [''])
test('tcfail167', normal, compile_fail, [''])
test('tcfail168', normal, compile_fail, [''])
......@@ -161,7 +164,10 @@ test('tcfail170', normal, compile_fail, [''])
test('tcfail171', normal, compile_fail, [''])
test('tcfail172', normal, compile_fail, [''])
test('tcfail173', normal, compile_fail, [''])
test('tcfail174', normal, compile_fail, [''])
test('tcfail174',
if_compiler_lt('ghc', '6.11', expect_fail),
compile_fail,
[''])
test('tcfail175', normal, compile_fail, [''])
test('tcfail176', normal, compile_fail, [''])
test('tcfail177', expect_broken(1176), compile_fail, [''])
......
tcfail028.hs:4:15:
`A a' is not applied to enough type arguments
Expected kind `?', but `A a' has kind `k -> *'
In the data type declaration for `A'
tcfail036.hs:6:9:
Duplicate instance declarations:
instance Num NUM -- Defined at tcfail036.hs:6:9-15
instance Num NUM -- Defined at tcfail036.hs:8:9-15
tcfail036.hs:9:12:
Class `Num' used as a type
In the type `Num'
In the instance declaration for `Eq Num'
tcfail057.hs:5:6:
Class `RealFrac' used as a type
In the type `RealFrac a'
In the type `(RealFrac a) -> a -> a'
In the type signature for `f':
f :: (RealFrac a) -> a -> a
tcfail058.hs:6:5:
Type constructor `Array' used as a class
In the type `(Array a) => a -> b'
In the type signature for `f':
f :: (Array a) => a -> b
tcfail063.hs:6:8:
`Num' is not applied to enough type arguments
Expected kind `*', but `Num' has kind `* -> *'
In the type `(Num) => Int -> a -> Int'
In the type signature for `moby':
moby :: (Num) => Int -> a -> Int
tcfail070.hs:15:14:
Kind error: `[Int]' is applied to too many type arguments
In the type synonym declaration for `State'
tcfail078.hs:5:5:
Type constructor `Integer' used as a class
In the type `(Integer i) => i'
In the type signature for `f':
f :: (Integer i) => i
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