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

Accept changes (mostly paren removal)

parent 29c623e3
......@@ -3,4 +3,4 @@ gadt13.hs:12:5:
GADT pattern match in non-rigid context for `I'
Tell GHC HQ if you'd like this to unify the context
In the pattern: I t
In the definition of `shw': shw (I t) = (("I " ++)) . (shows t)
In the definition of `shw': shw (I t) = ("I " ++) . shows t
......@@ -2,4 +2,4 @@
read023.hs:9:4:
The operator `**' [infixl 7] of a section
must have lower precedence than the operand prefix `-' [infixl 6]
in the section: `((- 3) **)'
in the section: `(- 3 **)'
rn049.hs:10:5:
Warning: accepting non-standard pattern guards (use -XPatternGuards to suppress this message)
x <- (1 * 2) + (3 * 4)
x <- 1 * 2 + 3 * 4
......@@ -2,4 +2,4 @@
rnfail019.hs:5:8:
The operator `:' [infixr 5] of a section
must have lower precedence than the operand `(:)' [infixr 5]
in the section: `((x : y) :)'
in the section: `(x : y :)'
......@@ -6,7 +6,7 @@ TH_exn2.hs:1:0:
>>= = (>>=) @ Language.Haskell.TH.Syntax.Q $dMonad
$dMonad = $dMonad
return = return @ Language.Haskell.TH.Syntax.Q $dMonad
$dMonad = Language.Haskell.TH.Syntax.$f22
....
in
do ds <- [d| |]
return @ [Language.Haskell.TH.Syntax.Dec]
......
......@@ -5,4 +5,4 @@ tcfail010.hs:3:17:
Possible fix: add an instance declaration for (Num [t])
In the second argument of `(+)', namely `2'
In the expression: z + 2
In a lambda abstraction: \ (y : z) -> z + 2
In the expression: \ (y : z) -> z + 2
......@@ -25,9 +25,7 @@ tcfail067.hs:46:11:
In the pattern: SubRange (lower, upper) value
In the definition of `showRange':
showRange (SubRange (lower, upper) value)
= (show value)
++
(" :" ++ ((show lower) ++ (".." ++ (show upper))))
= show value ++ " :" ++ show lower ++ ".." ++ show upper
tcfail067.hs:60:0:
Could not deduce (Show (SubRange a)) from the context (Num a)
......
......@@ -10,4 +10,4 @@ tcfail076.hs:18:67:
Expected type: m res
Inferred type: m res1
In the expression: cont a
In a lambda abstraction: \ cont' -> cont a
In the first argument of `KContT', namely `(\ cont' -> cont a)'
tcfail104.hs:11:6:
Cannot match a monotype with `forall a. a -> a'
In a lambda abstraction: \ x -> x
In the expression:
(if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
In the definition of `f':
f v = (if v then
(\ (x :: forall a. a -> a) -> x)
else
(\ x -> x)) id 'c'
f v = (if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x))
id 'c'
tcfail104.hs:17:6:
Cannot match a monotype with `forall a. a -> a'
In a lambda abstraction: \ x -> x
In the expression:
(if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
In the definition of `g':
g v = (if v then
(\ (x :: forall a. a -> a) -> x)
else
(\ x -> x)) id 'c'
g v = (if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x))
id 'c'
tcfail115.hs:9:23:
Couldn't match kind `??' against `(#)'
When matching the kinds of `t :: ??' and `(# Int, Int #) :: (#)'
Expected type: (# Int, Int #)
Inferred type: t
In the expression: (r :: (# Int, Int #))
tcfail115.hs:12:24:
The variable `r' cannot be bound to an unboxed tuple
In a case alternative: r -> r
In the expression: case t x of r -> r
In a lambda abstraction: \ x -> case t x of r -> r
tcfail115.hs:9:23:
Couldn't match kind `??' against `(#)'
When matching the kinds of `t :: ??' and `(# Int, Int #) :: (#)'
Expected type: (# Int, Int #)
Inferred type: t
In the expression: (r :: (# Int, Int #))
tcfail115.hs:12:24:
The variable `r' cannot be bound to an unboxed tuple
In a case alternative: r -> r
In the expression: case t x of r -> r
In the expression: \ x -> case t x of r -> r
tcfail128.hs:18:8:
No instance for (Data.Array.Base.MArray b FlatVector IO)
arising from a use of `thaw' at tcfail128.hs:18:8-15
Possible fix:
add an instance declaration for
(Data.Array.Base.MArray b FlatVector IO)
In a 'do' expression: v <- thaw tmp
In the expression:
do let sL = [...]
dim = length sL
help :: [FlatVector]
help = [listFlatVector ... ... | s <- sL]
tmp :: Vector FlatVector
tmp = listVector (1, dim) help
v <- thaw tmp
return ()
In the definition of `main':
main = do let sL = ...
dim = length sL
help :: [FlatVector]
help = ...
tmp :: Vector FlatVector
tmp = listVector ... help
v <- thaw tmp
return ()
tcfail128.hs:18:8:
No instance for (Data.Array.Base.MArray b FlatVector IO)
arising from a use of `thaw' at tcfail128.hs:18:8-15
Possible fix:
add an instance declaration for
(Data.Array.Base.MArray b FlatVector IO)
In a 'do' expression: v <- thaw tmp
In the expression:
do let sL = ...
dim = length sL
....
v <- thaw tmp
return ()
In the definition of `main':
main = do let sL = ...
....
v <- thaw tmp
return ()
......@@ -7,6 +7,6 @@ tcfail133.hs:67:13:
(AddDigit (Zero :@ (One :@ One)) One a)
In the second argument of `($)', namely
`add (One :@ Zero) (One :@ One)'
In the expression: show $ (add (One :@ Zero) (One :@ One))
In the expression: show $ add (One :@ Zero) (One :@ One)
In the definition of `foo':
foo = show $ (add (One :@ Zero) (One :@ One))
foo = show $ add (One :@ Zero) (One :@ One)
tcfail144.hs:9:2:
Couldn't match expected type `Ord a' against inferred type `Eq a1'
When matching the contexts of the signatures for
f1 :: forall a. (Eq a) => a -> Bool
g1 :: forall a. (Ord a) => a -> Bool
The signature contexts in a mutually recursive group should all be identical
When generalising the type(s) for f1, g1
tcfail144.hs:14:32:
Couldn't match expected type `[Char]' against inferred type `Bool'
Expected type: [Char] -> Bool
Inferred type: Bool -> Bool
In the second argument of `(||)', namely `g2 "Yes"'
In the second argument of `(||)', namely `(g2 True) || (g2 "Yes")'
tcfail144.hs:9:2:
Couldn't match expected type `Ord a' against inferred type `Eq a1'
When matching the contexts of the signatures for
f1 :: forall a. (Eq a) => a -> Bool
g1 :: forall a. (Ord a) => a -> Bool
The signature contexts in a mutually recursive group should all be identical
When generalising the type(s) for f1, g1
tcfail144.hs:14:32:
Couldn't match expected type `[Char]' against inferred type `Bool'
Expected type: [Char] -> Bool
Inferred type: Bool -> Bool
In the second argument of `(||)', namely `g2 "Yes"'
In the second argument of `(||)', namely `g2 True || g2 "Yes"'
......@@ -8,4 +8,4 @@ tcfail153.hs:6:8:
In the definition of `f':
f x = g x
where
g y = if y then [] else [y]
g y = if y then [] else [...]
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