summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/listcomp08.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-list/listcomp08.reject.out')
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out2
1 files changed, 0 insertions, 2 deletions
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index 35f2448e..3a989de0 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: 6in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
7value = [x | x <- [], "not Bool"] 7value = [x | x <- [], "not Bool"]
8 ^^^^^^^^^^ 8 ^^^^^^^^^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'Bool 11'Bool
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: 15in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
17value = [x | x <- [], "not Bool"] 16value = [x | x <- [], "not Bool"]
18 ^^^^^^^^^^ 17 ^^^^^^^^^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a 19testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a
22testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String 20testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String