Commit a7900cf0 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Track improvements in pretty-printing for group-by, order-by

parent a9e79feb
......@@ -2,7 +2,6 @@
tcfail189.hs:9:31:
Couldn't match expected type `a -> t' against inferred type `[a1]'
In the expression: take 2
In a stmt of a list comprehension:
x <- [1 .. 10] then group by x using take 2
In a stmt of a list comprehension: then group by x using take 2
In the expression:
[() | x <- [1 .. 10] then group by x using take 2]
[() | x <- [1 .. 10], then group by x using take 2]
tcfail190.hs:11:9:
tcfail190.hs:12:9:
No instance for (Ord Unorderable)
arising from a use of `GHC.Exts.groupWith' at tcfail190.hs:11:9
arising from a use of `GHC.Exts.groupWith' at tcfail190.hs:12:9-23
Possible fix: add an instance declaration for (Ord Unorderable)
In the expression: GHC.Exts.groupWith
In a stmt of a list comprehension:
x <- [Gnorf, Brain] then group by x
In the expression: [() | x <- [Gnorf, Brain] then group by x]
In a stmt of a list comprehension: then group by x
In the expression: [() | x <- [Gnorf, Brain], then group by x]
tcfail191.hs:10:9:
tcfail191.hs:11:9:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: take 5
In a stmt of a list comprehension:
x <- [Gnorf, Brain] then group using take 5
In a stmt of a list comprehension: then group using take 5
In the expression:
[() | x <- [Gnorf, Brain] then group using take 5]
[() | x <- [Gnorf, Brain], then group using take 5]
tcfail192.hs:8:9:
tcfail192.hs:9:9:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: take 5
In a stmt of a list comprehension:
x <- ["Hello", "World"] then group using take 5
In a stmt of a list comprehension: then group using take 5
In the expression:
[x + 1 | x <- ["Hello", "World"] then group using take 5]
[x + 1 | x <- ["Hello", "World"], then group using take 5]
......@@ -2,5 +2,5 @@
tcfail193.hs:10:10:
Occurs check: cannot construct the infinite type: a = [a]
In the expression: inits
In a stmt of a list comprehension: x <- [3, 2, 1] then inits
In the expression: [x | x <- [3, 2, 1] then inits]
In a stmt of a list comprehension: then inits
In the expression: [x | x <- [3, 2, 1], then inits]
......@@ -2,5 +2,5 @@
tcfail194.hs:9:29:
Couldn't match expected type `a -> t' against inferred type `[a1]'
In the expression: take 5
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]
In a stmt of a list comprehension: 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