update error messages

author: Csaba Hruska <csaba.hruska@gmail.com> 2018-02-03 11:27:52 +0100
committer: Csaba Hruska <csaba.hruska@gmail.com> 2018-02-03 11:27:52 +0100
commit: ae57cbccce9288995bf39f25ed5c13e971f982ba (patch)
tree: d4f36905dbb0ba5b53758b3fe1af69025d98a576
parent: af006697ef975340d54bd820fd7459c9c26794eb (diff)
5 files changed, 12 insertions, 12 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 80b3a964..e07abac2 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,9 +1,9 @@
 type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
-  /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:
+  <<installed-prelude-path>>/Internals.lc:58:6:
  data Int
       ^^^
 in proj
@@ -18,11 +18,11 @@ case'Data3
        -> forall (h :: Data3) -> a h
 match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
 !type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
-  /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:
+  <<installed-prelude-path>>/Internals.lc:58:6:
  data Int
       ^^^
 in proj
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 @@
 type error: can not unify
-  /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:
+  <<installed-prelude-path>>/Internals.lc:58:6:
  data Int
       ^^^
 with
@@ -7,7 +7,7 @@ with
 in []
 ------------ trace
 !type error: can not unify
-  /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:
+  <<installed-prelude-path>>/Internals.lc:58:6:
  data Int
       ^^^
 with
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index 1c4a3006..da3892e6 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -1,5 +1,5 @@
 type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
@@ -9,7 +9,7 @@ value = [x | x <- [], "not Bool"]
                      ^^^^^^^^^^
 ------------ trace
 !type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index b2061178..c042b94b 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.reject.out
@@ -1,5 +1,5 @@
 type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
@@ -9,7 +9,7 @@ value1 = if () then () else ()
            ^^
 ------------ trace
 !type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out
index ba6f9738..3b4ddaa2 100644
--- a/testdata/language-features/guard/guard05.reject.out
+++ b/testdata/language-features/guard/guard05.reject.out
@@ -1,5 +1,5 @@
 type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
@@ -9,7 +9,7 @@ value | () = "wrong"
        ^^
 ------------ trace
 !type error: can not unify
-  /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:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
  data Bool = False | True
       ^^^^
 with
author	Csaba Hruska <csaba.hruska@gmail.com>	2018-02-03 11:27:52 +0100
committer	Csaba Hruska <csaba.hruska@gmail.com>	2018-02-03 11:27:52 +0100
commit	ae57cbccce9288995bf39f25ed5c13e971f982ba (patch)
tree	d4f36905dbb0ba5b53758b3fe1af69025d98a576
parent	af006697ef975340d54bd820fd7459c9c26794eb (diff)

diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out index 80b3a964..e07abac2 100644 --- a/testdata/language-features/adt/adt02.reject.out +++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,9 +1,9 @@
1	type error: can not unify	1	type 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:63:6:	2	<<installed-prelude-path>>/Internals.lc:63:6:
3	data Bool = False \| True	3	data Bool = False \| True
4	^^^^	4	^^^^
5	with	5	with
6	/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:	6	<<installed-prelude-path>>/Internals.lc:58:6:
7	data Int	7	data Int
8	^^^	8	^^^
9	in proj	9	in proj
@@ -18,11 +18,11 @@ case'Data3
18	-> forall (h :: Data3) -> a h	18	-> forall (h :: Data3) -> a h
19	match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b	19	match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
20	!type error: can not unify	20	!type error: can not unify
21	/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:63:6:	21	<<installed-prelude-path>>/Internals.lc:63:6:
22	data Bool = False \| True	22	data Bool = False \| True
23	^^^^	23	^^^^
24	with	24	with
25	/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:	25	<<installed-prelude-path>>/Internals.lc:58:6:
26	data Int	26	data Int
27	^^^	27	^^^
28	in proj	28	in proj


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 @@
1	type error: can not unify	1	type 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	^^^
5	with	5	with
@@ -7,7 +7,7 @@ with
7	in []	7	in []
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	^^^
13	with	13	with


diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out index 1c4a3006..da3892e6 100644 --- a/testdata/language-features/basic-list/listcomp08.reject.out +++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -1,5 +1,5 @@
1	type error: can not unify	1	type 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:63:6:	2	<<installed-prelude-path>>/Internals.lc:63:6:
3	data Bool = False \| True	3	data Bool = False \| True
4	^^^^	4	^^^^
5	with	5	with
@@ -9,7 +9,7 @@ value = [x \| x <- [], "not Bool"]
9	^^^^^^^^^^	9	^^^^^^^^^^
10	------------ trace	10	------------ trace
11	!type error: can not unify	11	!type error: can not unify
12	/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:63:6:	12	<<installed-prelude-path>>/Internals.lc:63:6:
13	data Bool = False \| True	13	data Bool = False \| True
14	^^^^	14	^^^^
15	with	15	with


diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out index b2061178..c042b94b 100644 --- a/testdata/language-features/basic-values/if03.reject.out +++ b/testdata/language-features/basic-values/if03.reject.out
@@ -1,5 +1,5 @@
1	type error: can not unify	1	type 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:63:6:	2	<<installed-prelude-path>>/Internals.lc:63:6:
3	data Bool = False \| True	3	data Bool = False \| True
4	^^^^	4	^^^^
5	with	5	with
@@ -9,7 +9,7 @@ value1 = if () then () else ()
9	^^	9	^^
10	------------ trace	10	------------ trace
11	!type error: can not unify	11	!type error: can not unify
12	/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:63:6:	12	<<installed-prelude-path>>/Internals.lc:63:6:
13	data Bool = False \| True	13	data Bool = False \| True
14	^^^^	14	^^^^
15	with	15	with


diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index ba6f9738..3b4ddaa2 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out
@@ -1,5 +1,5 @@
1	type error: can not unify	1	type 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:63:6:	2	<<installed-prelude-path>>/Internals.lc:63:6:
3	data Bool = False \| True	3	data Bool = False \| True
4	^^^^	4	^^^^
5	with	5	with
@@ -9,7 +9,7 @@ value \| () = "wrong"
9	^^	9	^^
10	------------ trace	10	------------ trace
11	!type error: can not unify	11	!type error: can not unify
12	/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:63:6:	12	<<installed-prelude-path>>/Internals.lc:63:6:
13	data Bool = False \| True	13	data Bool = False \| True
14	^^^^	14	^^^^
15	with	15	with