Commit 03cb3d79 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Track changes in error messages

parent a024cd99
......@@ -5,15 +5,15 @@ tcfail128.hs:18:8:
Possible fix:
add an instance declaration for
(Data.Array.Base.MArray b FlatVector IO)
In a 'do' expression: v <- thaw tmp
In a stmt of a 'do' expression: v <- thaw tmp
In the expression:
do let sL = ...
dim = length sL
....
v <- thaw tmp
return ()
do let sL = ...
dim = length sL
....
v <- thaw tmp
return ()
In the definition of `main':
main = do let sL = ...
....
v <- thaw tmp
return ()
main = do let sL = ...
....
v <- thaw tmp
return ()
tcfail168.hs:8:10:
Couldn't match expected type `Char -> b'
against inferred type `IO b1'
In a 'do' expression: putChar 'a'
In the expression:
do putChar
putChar 'a'
putChar 'a'
putChar 'a'
....
In the definition of `foo':
foo = do putChar
putChar 'a'
putChar 'a'
....
tcfail168.hs:8:10:
Couldn't match expected type `Char -> b'
against inferred type `IO b1'
In a stmt of a 'do' expression: putChar 'a'
In the expression:
do putChar
putChar 'a'
putChar 'a'
putChar 'a'
....
In the definition of `foo':
foo = do putChar
putChar 'a'
putChar 'a'
....
......@@ -2,7 +2,7 @@
tcfail189.hs:9:30:
Couldn't match expected type `a -> t' against inferred type `[a1]'
In the expression: take 2
In a list comprehension:
In a stmt of a list comprehension:
x <- [1 .. 10] then group by x using take 2
In the expression:
[() | x <- [1 .. 10] then group by x using take 2]
......@@ -4,5 +4,6 @@ tcfail190.hs:11:8:
arising from a use of `GHC.Exts.groupWith' at tcfail190.hs:11:8
Possible fix: add an instance declaration for (Ord Unorderable)
In the expression: GHC.Exts.groupWith
In a list comprehension: x <- [Gnorf, Brain] then group by x
In a stmt of a list comprehension:
x <- [Gnorf, Brain] then group by x
In the expression: [() | x <- [Gnorf, Brain] then group by x]
......@@ -2,7 +2,7 @@
tcfail191.hs:10:8:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: take 5
In a list comprehension:
In a stmt of a list comprehension:
x <- [Gnorf, Brain] then group using take 5
In the expression:
[() | x <- [Gnorf, Brain] then group using take 5]
......@@ -2,7 +2,7 @@
tcfail192.hs:8:8:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: take 5
In a list comprehension:
In a stmt of a list comprehension:
x <- ["Hello", "World"] then group using take 5
In the expression:
[x + 1 | x <- ["Hello", "World"] then group using take 5]
......@@ -2,5 +2,5 @@
tcfail193.hs:10:9:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: inits
In a list comprehension: x <- [3, 2, 1] then inits
In a stmt of a list comprehension: x <- [3, 2, 1] then inits
In the expression: [x | x <- [3, 2, 1] then inits]
......@@ -2,5 +2,5 @@
tcfail194.hs:9:28:
Couldn't match expected type `a -> t' against inferred type `[a1]'
In the expression: take 5
In a list comprehension: x <- [1 .. 10] then take 5 by x
In a stmt of a list comprehension: x <- [1 .. 10] then take 5 by x
In the expression: [x | x <- [1 .. 10] then take 5 by x]
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