Commit 0b0e4893 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Remove old stdout/stderr files for old GHCs

parent f93b31dc
2499.hs:1:11-27: unknown flag in {-# OPTIONS #-} pragma: -package
2499.hs:1:11-27: unknown flag in {-# OPTIONS #-} pragma: blargh
gadt-escape1.hs:16:52:
GADT pattern match with non-rigid result type `t'
Solution: add a type signature
In a case alternative: Hidden (ExpInt _) a -> a
In the expression:
case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }
In the definition of `weird1':
weird1 = case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }
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'
gadt11.hs:9:2:
Data constructor `B1' returns type `X' instead of its parent type
In the definition of data constructor `B1'
In the data type declaration for `B'
gadt13.hs:12:5:
GADT pattern match in non-rigid context for `I'
Solution: add a type signature
In the pattern: I t
In the definition of `shw': shw (I t) = ("I " ++) . shows t
gadt7.hs:12:31:
GADT pattern match in non-rigid context for `K'
Solution: add a type signature
In the pattern: K
In a case alternative: K -> y1
In the expression: case t1 of { K -> y1 }
gadt7.hs:15:32:
GADT pattern match in non-rigid context for `K'
Solution: add a type signature
In the pattern: K
In a case alternative: K -> y1
In the expression: case t1 of { K -> y1 }
*** Exception: foo
Stopped at <exception thrown>
_exception :: e = _
Stopped at <exception thrown>
_exception :: e = _
-1 : main (..\Test7.hs:2:17-27)
-2 : main (..\Test7.hs:2:7-28)
<end of history>
Logged breakpoint at ..\Test7.hs:2:17-27
_result :: a
Logged breakpoint at ..\Test7.hs:2:7-28
_result :: IO a
no more logged breakpoints
Logged breakpoint at ..\Test7.hs:2:17-27
_result :: a
Stopped at <exception thrown>
_exception :: e
already at the beginning of the history
_exception = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow _ _ _) _ _)
(ErrorCall ['f','o','o'])
_exception ::
SomeException = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow ...) ....)
(ErrorCall ['f',....])
_result :: a = _
*** Exception: foo
*** Exception: foo
Stopped at <exception thrown>
_exception :: e = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow ...) ....)
_
Stopped at <exception thrown>
_exception :: e = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow ...) ....)
_
*** Exception: user error (error)
Stopped at <exception thrown>
_exception :: e = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow ...) ....)
(GHC.IOBase.IOError Nothing GHC.IOBase.UserError ....)
*** Exception: user error (error)
Stopped at <exception thrown>
_exception :: e = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow ...) ....)
(GHC.IOBase.IOError Nothing GHC.IOBase.UserError ....)
Stopped at <exception thrown>
_exception :: e = SomeException (GHC.Exception.:DException _
(GHC.Show.:DShow ...) ....)
(GHC.IOBase.IOError Nothing GHC.IOBase.UserError ....)
o = O (_t1::t)
()
_t1 :: SafeList x NonEmpty
o = O (Cons (_t2::(GHC.Classes.:TEq) x1) (_t3::x1)
(_t4::SafeList x1 y))
()
o = O (Cons (_t5::(GHC.Classes.:TEq) Integer) 3
(_t6::SafeList Integer y1))
d = DictN (GHC.Num.:DNum (GHC.Classes.:DEq (_t1::Integer
-> Integer
-> Bool)
(_t2::Integer -> Integer -> Bool))
(GHC.Show.:DShow (_t3::Int -> Integer -> ShowS)
(_t4::Integer -> String) (_t5::[Integer] -> ShowS))
(_t6::Integer -> Integer -> Integer)
(_t7::Integer -> Integer -> Integer)
(_t8::Integer -> Integer -> Integer) (_t9::Integer -> Integer)
(_t10::Integer -> Integer) (_t11::Integer -> Integer)
(_t12::Integer -> Integer))
(_t13::Integer)
()
d = DictN (GHC.Num.:DNum (GHC.Classes.:DEq (_t14::Integer
-> Integer
-> Bool)
(_t15::Integer -> Integer -> Bool))
(GHC.Show.:DShow (_t16::Int -> Integer -> ShowS)
(_t17::Integer -> String) (_t18::[Integer] -> ShowS))
(_t19::Integer -> Integer -> Integer)
(_t20::Integer -> Integer -> Integer)
(_t21::Integer -> Integer -> Integer) (_t22::Integer -> Integer)
(_t23::Integer -> Integer) (_t24::Integer -> Integer)
(_t25::Integer -> Integer))
(_t26::Integer)
o = O (_t1::t)
()
_t1 :: SafeList Bool NonEmpty
o = O (One (GHC.Classes.:DEq (_t2::Bool -> Bool -> Bool)
(_t3::Bool -> Bool -> Bool))
False (_t4::SafeList Bool Empty))
Simple14.hs:5:14:
Equality predicate used as a type
In the type `a ~ a'
In the data type declaration for `T'
read029.hs:1:13:
cannot parse LANGUAGE pragma: comma-separated list expected
read030.hs:1:13: unsupported extension: ExtensibleRecords
read044.hs:3:15-60:
unknown flag in {-# OPTIONS #-} pragma: -this-flag-does-not-exist
read044.hs:3:15-60:
unknown flag in {-# OPTIONS #-} pragma: -nor-does-this-one
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])'
rnfail048.hs:11:0:
Duplicate INLINE pragma:
rnfail048.hs:11:0-17: {-# INLINE foo #-}
rnfail048.hs:10:0-21: {-# INLINE[~2] foo #-}
rnfail048.hs:9:0-20: {-# INLINE[1] foo #-}
rnfail048.hs:8:0-19: {-# NOINLINE foo #-}
rnfail048.hs:7:0-23: {-# NOINLINE[~2] foo #-}
rnfail048.hs:6:0-22: {-# NOINLINE[1] foo #-}
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
==================== FloatOut stats: ====================
2 Lets floated to top level; 0 Lets floated elsewhere; from 1 Lambda groups
==================== FloatOut stats: ====================
0 Lets floated to top level; 0 Lets floated elsewhere; from 0 Lambda groups
==================== Grand total simplifier statistics ====================
Total ticks: 58
22 PreInlineUnconditionally
1 PostInlineUnconditionally
1 UnfoldingDone
6 RuleFired
1 ++
1 augment/build
1 fold/build
1 foldr/app
1 unpack
1 unpack-list
28 BetaReduction
10 SimplifierDone
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