summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-list/list10.reject.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/basic-list/list10.reject.out')
-rw-r--r--testdata/language-features/basic-list/list10.reject.out4
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out
index 133c2522..1b9da45f 100644
--- a/testdata/language-features/basic-list/list10.reject.out
+++ b/testdata/language-features/basic-list/list10.reject.out
@@ -1,5 +1,5 @@
1type error: can not unify 1type error: can not unify
2 /home/csaba/haskell/lambdacube-compiler/.stack-work/install/x86_64-linux/lts-10.4/8.2.2/share/x86_64-linux-ghc-8.2.2/lambdacube-compiler-0.6.1.0/lc/Internals.lc:58:6: 2 <<installed-prelude-path>>/Internals.lc:58:6:
3 data Int 3 data Int
4 ^^^ 4 ^^^
5with 5with
@@ -7,7 +7,7 @@ with
7in [] 7in []
8------------ trace 8------------ trace
9!type error: can not unify 9!type error: can not unify
10 /home/csaba/haskell/lambdacube-compiler/.stack-work/install/x86_64-linux/lts-10.4/8.2.2/share/x86_64-linux-ghc-8.2.2/lambdacube-compiler-0.6.1.0/lc/Internals.lc:58:6: 10 <<installed-prelude-path>>/Internals.lc:58:6:
11 data Int 11 data Int
12 ^^^ 12 ^^^
13with 13with