22 files changed, 258 insertions, 258 deletions

diff --git a/testdata/language-features/basic-list/dotdot01.out b/testdata/language-features/basic-list/dotdot01.out
index c564f228..b1e0fac8 100644
--- a/testdata/language-features/basic-list/dotdot01.out
+++ b/testdata/language-features/basic-list/dotdot01.out
@@ -6,11 +6,11 @@ main = _lhs main (_rhs (fromTo (fromInt 1) (fromInt 10)))
 main :: [Float]
 main = _rhs (1.0 : fromTo (1.0 + 1.0) 10.0)
 ------------ tooltips
-testdata/language-features/basic-list/dotdot01.lc 2:1-2:5
+dotdot01.lc 2:1-2:5
     [Float]
-testdata/language-features/basic-list/dotdot01.lc 2:8-2:15
+dotdot01.lc 2:8-2:15
     [Float]
-testdata/language-features/basic-list/dotdot01.lc 2:9-2:10
+dotdot01.lc 2:9-2:10
     _b
-testdata/language-features/basic-list/dotdot01.lc 2:12-2:14
+dotdot01.lc 2:12-2:14
     _b
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out
index 4a4d6cda..e8fabda7 100644
--- a/testdata/language-features/basic-list/list01.out
+++ b/testdata/language-features/basic-list/list01.out
@@ -16,43 +16,43 @@ value2
 value3 :: [Char]
 value3 = _rhs ['h', 'e', 'l', 'l', 'o']
 ------------ tooltips
-testdata/language-features/basic-list/list01.lc 1:1-1:7
+list01.lc 1:1-1:7
     forall a . [a]
-testdata/language-features/basic-list/list01.lc 1:10-1:12
+list01.lc 1:10-1:12
     forall a . [a]
-testdata/language-features/basic-list/list01.lc 2:1-2:7
+list01.lc 2:1-2:7
     forall a . Num a => [a]
-testdata/language-features/basic-list/list01.lc 2:10-2:19
+list01.lc 2:10-2:19
     [_c]
-testdata/language-features/basic-list/list01.lc 2:11-2:12
+list01.lc 2:11-2:12
     _b
-testdata/language-features/basic-list/list01.lc 2:13-2:14
+list01.lc 2:13-2:14
     _b
-testdata/language-features/basic-list/list01.lc 2:13-2:18
+list01.lc 2:13-2:18
     [_d]
-testdata/language-features/basic-list/list01.lc 2:15-2:16
+list01.lc 2:15-2:16
     _b
-testdata/language-features/basic-list/list01.lc 2:15-2:18
+list01.lc 2:15-2:18
     [_e]
-testdata/language-features/basic-list/list01.lc 2:17-2:18
+list01.lc 2:17-2:18
     _b | [_e]
-testdata/language-features/basic-list/list01.lc 3:1-3:7
+list01.lc 3:1-3:7
     [Char]
-testdata/language-features/basic-list/list01.lc 3:10-3:31
+list01.lc 3:10-3:31
     [Char]
-testdata/language-features/basic-list/list01.lc 3:11-3:14
+list01.lc 3:11-3:14
     Char
-testdata/language-features/basic-list/list01.lc 3:15-3:18
+list01.lc 3:15-3:18
     Char
-testdata/language-features/basic-list/list01.lc 3:15-3:30
+list01.lc 3:15-3:30
     [Char]
-testdata/language-features/basic-list/list01.lc 3:19-3:22
+list01.lc 3:19-3:22
     Char
-testdata/language-features/basic-list/list01.lc 3:19-3:30
+list01.lc 3:19-3:30
     [Char]
-testdata/language-features/basic-list/list01.lc 3:23-3:26
+list01.lc 3:23-3:26
     Char
-testdata/language-features/basic-list/list01.lc 3:23-3:30
+list01.lc 3:23-3:30
     [Char]
-testdata/language-features/basic-list/list01.lc 3:27-3:30
+list01.lc 3:27-3:30
     Char | [Char]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out
index 290d0482..cbec659d 100644
--- a/testdata/language-features/basic-list/list02.out
+++ b/testdata/language-features/basic-list/list02.out
@@ -16,43 +16,43 @@ value2
 value3 :: [Char]
 value3 = _rhs ['h', 'e', 'l', 'l', 'o']
 ------------ tooltips
-testdata/language-features/basic-list/list02.lc 1:1-1:7
+list02.lc 1:1-1:7
     forall a . [a]
-testdata/language-features/basic-list/list02.lc 1:10-2:4
+list02.lc 1:10-2:4
     forall a . [a]
-testdata/language-features/basic-list/list02.lc 4:1-4:7
+list02.lc 4:1-4:7
     forall a . Num a => [a]
-testdata/language-features/basic-list/list02.lc 4:10-5:7
+list02.lc 4:10-5:7
     [_c]
-testdata/language-features/basic-list/list02.lc 4:11-4:12
+list02.lc 4:11-4:12
     _b
-testdata/language-features/basic-list/list02.lc 4:13-4:14
+list02.lc 4:13-4:14
     _b
-testdata/language-features/basic-list/list02.lc 4:13-5:6
+list02.lc 4:13-5:6
     [_d]
-testdata/language-features/basic-list/list02.lc 5:3-5:4
+list02.lc 5:3-5:4
     _b
-testdata/language-features/basic-list/list02.lc 5:3-5:6
+list02.lc 5:3-5:6
     [_e]
-testdata/language-features/basic-list/list02.lc 5:5-5:6
+list02.lc 5:5-5:6
     _b | [_e]
-testdata/language-features/basic-list/list02.lc 7:1-7:7
+list02.lc 7:1-7:7
     [Char]
-testdata/language-features/basic-list/list02.lc 8:3-13:4
+list02.lc 8:3-13:4
     [Char]
-testdata/language-features/basic-list/list02.lc 8:5-8:8
+list02.lc 8:5-8:8
     Char
-testdata/language-features/basic-list/list02.lc 9:5-9:8
+list02.lc 9:5-9:8
     Char
-testdata/language-features/basic-list/list02.lc 9:5-12:8
+list02.lc 9:5-12:8
     [Char]
-testdata/language-features/basic-list/list02.lc 10:5-10:8
+list02.lc 10:5-10:8
     Char
-testdata/language-features/basic-list/list02.lc 10:5-12:8
+list02.lc 10:5-12:8
     [Char]
-testdata/language-features/basic-list/list02.lc 11:5-11:8
+list02.lc 11:5-11:8
     Char
-testdata/language-features/basic-list/list02.lc 11:5-12:8
+list02.lc 11:5-12:8
     [Char]
-testdata/language-features/basic-list/list02.lc 12:5-12:8
+list02.lc 12:5-12:8
     Char | [Char]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out
index 1d40adcc..576973a9 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -10,9 +10,9 @@ with
   Char
 in []
 ------------ tooltips
-testdata/language-features/basic-list/list07.reject.lc 1:10-1:11
+list07.reject.lc 1:10-1:11
     _b
-testdata/language-features/basic-list/list07.reject.lc 1:12-1:15
+list07.reject.lc 1:12-1:15
     Float
-testdata/language-features/basic-list/list07.reject.lc 1:16-1:19
+list07.reject.lc 1:16-1:19
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list08.out b/testdata/language-features/basic-list/list08.out
index a9ed3391..68e3aaea 100644
--- a/testdata/language-features/basic-list/list08.out
+++ b/testdata/language-features/basic-list/list08.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs [fromInt 1, 1.2])
 value :: [Float]
 value = _rhs [1.0, 1.2]
 ------------ tooltips
-testdata/language-features/basic-list/list08.lc 1:1-1:6
+list08.lc 1:1-1:6
     [Float]
-testdata/language-features/basic-list/list08.lc 1:9-1:16
+list08.lc 1:9-1:16
     [Float]
-testdata/language-features/basic-list/list08.lc 1:10-1:11
+list08.lc 1:10-1:11
     _b
-testdata/language-features/basic-list/list08.lc 1:12-1:15
+list08.lc 1:12-1:15
     Float | [Float]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list09.out b/testdata/language-features/basic-list/list09.out
index c46fb913..0d09aea9 100644
--- a/testdata/language-features/basic-list/list09.out
+++ b/testdata/language-features/basic-list/list09.out
@@ -5,15 +5,15 @@ value = _lhs value (_rhs ([fromInt 1, 1.2] :: [Float]))
 value :: [Float]
 value = _rhs [1.0, 1.2]
 ------------ tooltips
-testdata/language-features/basic-list/list09.lc 1:1-1:6
+list09.lc 1:1-1:6
     [Float]
-testdata/language-features/basic-list/list09.lc 1:9-1:16
+list09.lc 1:9-1:16
     [Float]
-testdata/language-features/basic-list/list09.lc 1:10-1:11
+list09.lc 1:10-1:11
     _b
-testdata/language-features/basic-list/list09.lc 1:12-1:15
+list09.lc 1:12-1:15
     Float | [Float]
-testdata/language-features/basic-list/list09.lc 1:20-1:27
+list09.lc 1:20-1:27
     Type
-testdata/language-features/basic-list/list09.lc 1:21-1:26
+list09.lc 1:21-1:26
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out
index 760ca1fe..8cad72ab 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/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:58:6:
+  'Internals.lc:58:6:
   data Int
        ^^^
 with
@@ -7,18 +7,18 @@ with
 in []
 ------------ trace
 !type error: can not unify
-  /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:58:6:
+  'Internals.lc:58:6:
   data Int
        ^^^
 with
   Float
 in []
 ------------ tooltips
-testdata/language-features/basic-list/list10.reject.lc 1:10-1:11
+list10.reject.lc 1:10-1:11
     _b
-testdata/language-features/basic-list/list10.reject.lc 1:12-1:15
+list10.reject.lc 1:12-1:15
     Float
-testdata/language-features/basic-list/list10.reject.lc 1:20-1:25
+list10.reject.lc 1:20-1:25
     Type
-testdata/language-features/basic-list/list10.reject.lc 1:21-1:24
+list10.reject.lc 1:21-1:24
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out
index 9777fcff..912daca2 100644
--- a/testdata/language-features/basic-list/list11.out
+++ b/testdata/language-features/basic-list/list11.out
@@ -5,15 +5,15 @@ value = _lhs value (_rhs [fromInt 1])
 value :: forall a . Num a => [a]
 value = \a b -> _rhs [fromInt a b 1]
 ------------ tooltips
-testdata/language-features/basic-list/list11.lc 1:1-1:6
+list11.lc 1:1-1:6
     forall a . Num a => [a]
-testdata/language-features/basic-list/list11.lc 1:9-1:10
+list11.lc 1:9-1:10
     _b
-testdata/language-features/basic-list/list11.lc 1:9-1:11
+list11.lc 1:9-1:11
     [_b] -> [_b]
-testdata/language-features/basic-list/list11.lc 1:9-1:13
+list11.lc 1:9-1:13
     [_b]
-testdata/language-features/basic-list/list11.lc 1:10-1:11
+list11.lc 1:10-1:11
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list11.lc 1:11-1:13
+list11.lc 1:11-1:13
     forall a . [a]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out
index e8e480be..ed67387e 100644
--- a/testdata/language-features/basic-list/list12.out
+++ b/testdata/language-features/basic-list/list12.out
@@ -8,47 +8,47 @@ value
   = \a b -> _rhs
     [fromInt a b 1, fromInt a b 2, fromInt a b 3, fromInt a b 4, fromInt a b 5]
 ------------ tooltips
-testdata/language-features/basic-list/list12.lc 1:1-1:6
+list12.lc 1:1-1:6
     forall a . Num a => [a]
-testdata/language-features/basic-list/list12.lc 1:9-1:10
+list12.lc 1:9-1:10
     _b
-testdata/language-features/basic-list/list12.lc 1:9-1:11
+list12.lc 1:9-1:11
     [_b] -> [_b]
-testdata/language-features/basic-list/list12.lc 1:9-1:21
+list12.lc 1:9-1:21
     [_c]
-testdata/language-features/basic-list/list12.lc 1:10-1:11
+list12.lc 1:10-1:11
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list12.lc 1:11-1:12
+list12.lc 1:11-1:12
     _b
-testdata/language-features/basic-list/list12.lc 1:11-1:13
+list12.lc 1:11-1:13
     [_b] -> [_b]
-testdata/language-features/basic-list/list12.lc 1:11-1:21
+list12.lc 1:11-1:21
     [_d]
-testdata/language-features/basic-list/list12.lc 1:12-1:13
+list12.lc 1:12-1:13
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list12.lc 1:13-1:14
+list12.lc 1:13-1:14
     _b
-testdata/language-features/basic-list/list12.lc 1:13-1:15
+list12.lc 1:13-1:15
     [_b] -> [_b]
-testdata/language-features/basic-list/list12.lc 1:13-1:21
+list12.lc 1:13-1:21
     [_e]
-testdata/language-features/basic-list/list12.lc 1:14-1:15
+list12.lc 1:14-1:15
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list12.lc 1:15-1:16
+list12.lc 1:15-1:16
     _b
-testdata/language-features/basic-list/list12.lc 1:15-1:17
+list12.lc 1:15-1:17
     [_b] -> [_b]
-testdata/language-features/basic-list/list12.lc 1:15-1:21
+list12.lc 1:15-1:21
     [_f]
-testdata/language-features/basic-list/list12.lc 1:16-1:17
+list12.lc 1:16-1:17
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list12.lc 1:17-1:18
+list12.lc 1:17-1:18
     _b
-testdata/language-features/basic-list/list12.lc 1:17-1:19
+list12.lc 1:17-1:19
     [_b] -> [_b]
-testdata/language-features/basic-list/list12.lc 1:17-1:21
+list12.lc 1:17-1:21
     [_f]
-testdata/language-features/basic-list/list12.lc 1:18-1:19
+list12.lc 1:18-1:19
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list12.lc 1:19-1:21
+list12.lc 1:19-1:21
     forall a . [a]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list13.out b/testdata/language-features/basic-list/list13.out
index c1c89f70..8002d692 100644
--- a/testdata/language-features/basic-list/list13.out
+++ b/testdata/language-features/basic-list/list13.out
@@ -5,47 +5,47 @@ value = _lhs value (_rhs ['h', 'e', 'l', 'l', 'o'])
 value :: [Char]
 value = _rhs ['h', 'e', 'l', 'l', 'o']
 ------------ tooltips
-testdata/language-features/basic-list/list13.lc 1:1-1:6
+list13.lc 1:1-1:6
     [Char]
-testdata/language-features/basic-list/list13.lc 1:9-1:12
+list13.lc 1:9-1:12
     Char
-testdata/language-features/basic-list/list13.lc 1:9-1:13
+list13.lc 1:9-1:13
     [Char] -> [Char]
-testdata/language-features/basic-list/list13.lc 1:9-1:31
+list13.lc 1:9-1:31
     [Char]
-testdata/language-features/basic-list/list13.lc 1:12-1:13
+list13.lc 1:12-1:13
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list13.lc 1:13-1:16
+list13.lc 1:13-1:16
     Char
-testdata/language-features/basic-list/list13.lc 1:13-1:17
+list13.lc 1:13-1:17
     [Char] -> [Char]
-testdata/language-features/basic-list/list13.lc 1:13-1:31
+list13.lc 1:13-1:31
     [Char]
-testdata/language-features/basic-list/list13.lc 1:16-1:17
+list13.lc 1:16-1:17
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list13.lc 1:17-1:20
+list13.lc 1:17-1:20
     Char
-testdata/language-features/basic-list/list13.lc 1:17-1:21
+list13.lc 1:17-1:21
     [Char] -> [Char]
-testdata/language-features/basic-list/list13.lc 1:17-1:31
+list13.lc 1:17-1:31
     [Char]
-testdata/language-features/basic-list/list13.lc 1:20-1:21
+list13.lc 1:20-1:21
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list13.lc 1:21-1:24
+list13.lc 1:21-1:24
     Char
-testdata/language-features/basic-list/list13.lc 1:21-1:25
+list13.lc 1:21-1:25
     [Char] -> [Char]
-testdata/language-features/basic-list/list13.lc 1:21-1:31
+list13.lc 1:21-1:31
     [Char]
-testdata/language-features/basic-list/list13.lc 1:24-1:25
+list13.lc 1:24-1:25
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list13.lc 1:25-1:28
+list13.lc 1:25-1:28
     Char
-testdata/language-features/basic-list/list13.lc 1:25-1:29
+list13.lc 1:25-1:29
     [Char] -> [Char]
-testdata/language-features/basic-list/list13.lc 1:25-1:31
+list13.lc 1:25-1:31
     [Char]
-testdata/language-features/basic-list/list13.lc 1:28-1:29
+list13.lc 1:28-1:29
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list13.lc 1:29-1:31
+list13.lc 1:29-1:31
     forall a . [a]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out
index 5a644bb6..ba2e1a66 100644
--- a/testdata/language-features/basic-list/list14.reject.out
+++ b/testdata/language-features/basic-list/list14.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
   [Char]
 with
   ()
-in testdata/language-features/basic-list/list14.reject.lc:1:17:
+in list14.reject.lc:1:17:
 value = 'h':'i':()
                 ^^
 ------------ trace
@@ -10,21 +10,21 @@ value = 'h':'i':()
   [Char]
 with
   ()
-in testdata/language-features/basic-list/list14.reject.lc:1:17:
+in list14.reject.lc:1:17:
 value = 'h':'i':()
                 ^^
 ------------ tooltips
-testdata/language-features/basic-list/list14.reject.lc 1:9-1:12
+list14.reject.lc 1:9-1:12
     Char
-testdata/language-features/basic-list/list14.reject.lc 1:9-1:13
+list14.reject.lc 1:9-1:13
     [Char] -> [Char]
-testdata/language-features/basic-list/list14.reject.lc 1:12-1:13
+list14.reject.lc 1:12-1:13
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list14.reject.lc 1:13-1:16
+list14.reject.lc 1:13-1:16
     Char
-testdata/language-features/basic-list/list14.reject.lc 1:13-1:17
+list14.reject.lc 1:13-1:17
     [Char] -> [Char]
-testdata/language-features/basic-list/list14.reject.lc 1:16-1:17
+list14.reject.lc 1:16-1:17
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list14.reject.lc 1:17-1:19
+list14.reject.lc 1:17-1:19
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out
index 56999614..0e7d8fb0 100644
--- a/testdata/language-features/basic-list/list15.reject.out
+++ b/testdata/language-features/basic-list/list15.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
   Char
 with
   ()
-in testdata/language-features/basic-list/list15.reject.lc:1:20:
+in list15.reject.lc:1:20:
 value = 'h':'i':():[]
                    ^^
 ------------ trace
@@ -10,25 +10,25 @@ value = 'h':'i':():[]
   Char
 with
   ()
-in testdata/language-features/basic-list/list15.reject.lc:1:20:
+in list15.reject.lc:1:20:
 value = 'h':'i':():[]
                    ^^
 ------------ tooltips
-testdata/language-features/basic-list/list15.reject.lc 1:9-1:12
+list15.reject.lc 1:9-1:12
     Char
-testdata/language-features/basic-list/list15.reject.lc 1:9-1:13
+list15.reject.lc 1:9-1:13
     [Char] -> [Char]
-testdata/language-features/basic-list/list15.reject.lc 1:12-1:13
+list15.reject.lc 1:12-1:13
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list15.reject.lc 1:13-1:16
+list15.reject.lc 1:13-1:16
     Char
-testdata/language-features/basic-list/list15.reject.lc 1:13-1:17
+list15.reject.lc 1:13-1:17
     [Char] -> [Char]
-testdata/language-features/basic-list/list15.reject.lc 1:16-1:17
+list15.reject.lc 1:16-1:17
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list15.reject.lc 1:17-1:19
+list15.reject.lc 1:17-1:19
     ()
-testdata/language-features/basic-list/list15.reject.lc 1:17-1:20
+list15.reject.lc 1:17-1:20
     [()] -> [()]
-testdata/language-features/basic-list/list15.reject.lc 1:19-1:20
+list15.reject.lc 1:19-1:20
     forall a . a -> [a] -> [a]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out
index abb28bb5..fd2bb949 100644
--- a/testdata/language-features/basic-list/list16.reject.out
+++ b/testdata/language-features/basic-list/list16.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
   [Char]
 with
   Char
-in testdata/language-features/basic-list/list16.reject.lc:1:13:
+in list16.reject.lc:1:13:
 value = 'h':'i'
             ^^^
 ------------ trace
@@ -10,15 +10,15 @@ value = 'h':'i'
   [Char]
 with
   Char
-in testdata/language-features/basic-list/list16.reject.lc:1:13:
+in list16.reject.lc:1:13:
 value = 'h':'i'
             ^^^
 ------------ tooltips
-testdata/language-features/basic-list/list16.reject.lc 1:9-1:12
+list16.reject.lc 1:9-1:12
     Char
-testdata/language-features/basic-list/list16.reject.lc 1:9-1:13
+list16.reject.lc 1:9-1:13
     [Char] -> [Char]
-testdata/language-features/basic-list/list16.reject.lc 1:12-1:13
+list16.reject.lc 1:12-1:13
     forall a . a -> [a] -> [a]
-testdata/language-features/basic-list/list16.reject.lc 1:13-1:16
+list16.reject.lc 1:13-1:16
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out
index 0c20b420..dc0c5204 100644
--- a/testdata/language-features/basic-list/listcomp01.out
+++ b/testdata/language-features/basic-list/listcomp01.out
@@ -5,23 +5,23 @@ value = _lhs value (_rhs (concatMap (\(_ :: _) -> [()]) [(), (), (), ()]))
 value :: [()]
 value = _rhs (() : [] ++ foldr (++) [] (map (\_ -> [()]) [(), (), ()]))
 ------------ tooltips
-testdata/language-features/basic-list/listcomp01.lc 1:1-1:6
+listcomp01.lc 1:1-1:6
     [()]
-testdata/language-features/basic-list/listcomp01.lc 1:9-1:34
+listcomp01.lc 1:9-1:34
     [()]
-testdata/language-features/basic-list/listcomp01.lc 1:10-1:12
+listcomp01.lc 1:10-1:12
     () | [()]
-testdata/language-features/basic-list/listcomp01.lc 1:20-1:33
+listcomp01.lc 1:20-1:33
     [()]
-testdata/language-features/basic-list/listcomp01.lc 1:21-1:23
+listcomp01.lc 1:21-1:23
     ()
-testdata/language-features/basic-list/listcomp01.lc 1:24-1:26
+listcomp01.lc 1:24-1:26
     ()
-testdata/language-features/basic-list/listcomp01.lc 1:24-1:32
+listcomp01.lc 1:24-1:32
     [()]
-testdata/language-features/basic-list/listcomp01.lc 1:27-1:29
+listcomp01.lc 1:27-1:29
     ()
-testdata/language-features/basic-list/listcomp01.lc 1:27-1:32
+listcomp01.lc 1:27-1:32
     [()]
-testdata/language-features/basic-list/listcomp01.lc 1:30-1:32
+listcomp01.lc 1:30-1:32
     () | [()]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out
index 528fef4a..497f88c0 100644
--- a/testdata/language-features/basic-list/listcomp02.out
+++ b/testdata/language-features/basic-list/listcomp02.out
@@ -10,27 +10,27 @@ l = _rhs [(), (), (), ()]
 value :: [()]
 value = _rhs (() : [] ++ foldr (++) [] (map (\a -> [a]) [(), (), ()]))
 ------------ tooltips
-testdata/language-features/basic-list/listcomp02.lc 1:1-1:2
+listcomp02.lc 1:1-1:2
     [()]
-testdata/language-features/basic-list/listcomp02.lc 1:5-1:18
+listcomp02.lc 1:5-1:18
     [()]
-testdata/language-features/basic-list/listcomp02.lc 1:6-1:8
+listcomp02.lc 1:6-1:8
     ()
-testdata/language-features/basic-list/listcomp02.lc 1:9-1:11
+listcomp02.lc 1:9-1:11
     ()
-testdata/language-features/basic-list/listcomp02.lc 1:9-1:17
+listcomp02.lc 1:9-1:17
     [()]
-testdata/language-features/basic-list/listcomp02.lc 1:12-1:14
+listcomp02.lc 1:12-1:14
     ()
-testdata/language-features/basic-list/listcomp02.lc 1:12-1:17
+listcomp02.lc 1:12-1:17
     [()]
-testdata/language-features/basic-list/listcomp02.lc 1:15-1:17
+listcomp02.lc 1:15-1:17
     () | [()]
-testdata/language-features/basic-list/listcomp02.lc 2:1-2:6
+listcomp02.lc 2:1-2:6
     [()]
-testdata/language-features/basic-list/listcomp02.lc 2:9-2:21
+listcomp02.lc 2:9-2:21
     [()]
-testdata/language-features/basic-list/listcomp02.lc 2:10-2:11
+listcomp02.lc 2:10-2:11
     _d | [_b]
-testdata/language-features/basic-list/listcomp02.lc 2:19-2:20
+listcomp02.lc 2:19-2:20
     [()]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out
index 0ba6b347..85208fa3 100644
--- a/testdata/language-features/basic-list/listcomp03.out
+++ b/testdata/language-features/basic-list/listcomp03.out
@@ -8,27 +8,27 @@ value
 value :: [()]
 value = _rhs []
 ------------ tooltips
-testdata/language-features/basic-list/listcomp03.lc 1:1-1:6
+listcomp03.lc 1:1-1:6
     [()]
-testdata/language-features/basic-list/listcomp03.lc 1:9-1:41
+listcomp03.lc 1:9-1:41
     [()]
-testdata/language-features/basic-list/listcomp03.lc 1:10-1:12
+listcomp03.lc 1:10-1:12
     () | [()]
-testdata/language-features/basic-list/listcomp03.lc 1:10-1:40
+listcomp03.lc 1:10-1:40
     [()] -> [()] | [()]
-testdata/language-features/basic-list/listcomp03.lc 1:20-1:33
+listcomp03.lc 1:20-1:33
     [()]
-testdata/language-features/basic-list/listcomp03.lc 1:21-1:23
+listcomp03.lc 1:21-1:23
     ()
-testdata/language-features/basic-list/listcomp03.lc 1:24-1:26
+listcomp03.lc 1:24-1:26
     ()
-testdata/language-features/basic-list/listcomp03.lc 1:24-1:32
+listcomp03.lc 1:24-1:32
     [()]
-testdata/language-features/basic-list/listcomp03.lc 1:27-1:29
+listcomp03.lc 1:27-1:29
     ()
-testdata/language-features/basic-list/listcomp03.lc 1:27-1:32
+listcomp03.lc 1:27-1:32
     [()]
-testdata/language-features/basic-list/listcomp03.lc 1:30-1:32
+listcomp03.lc 1:30-1:32
     () | [()]
-testdata/language-features/basic-list/listcomp03.lc 1:35-1:40
+listcomp03.lc 1:35-1:40
     Bool
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out
index dfd8bd3c..032fdd81 100644
--- a/testdata/language-features/basic-list/listcomp04.out
+++ b/testdata/language-features/basic-list/listcomp04.out
@@ -15,31 +15,31 @@ value
       : [] ++ foldr (++) [] (map (\_ -> [()]) [(), (), ()])
         ++ foldr (++) [] (map (\_ -> concatMap ' () ' () (\_ -> [()]) l) [(), (), ()]))
 ------------ tooltips
-testdata/language-features/basic-list/listcomp04.lc 1:1-1:2
+listcomp04.lc 1:1-1:2
     [()]
-testdata/language-features/basic-list/listcomp04.lc 1:5-1:18
+listcomp04.lc 1:5-1:18
     [()]
-testdata/language-features/basic-list/listcomp04.lc 1:6-1:8
+listcomp04.lc 1:6-1:8
     ()
-testdata/language-features/basic-list/listcomp04.lc 1:9-1:11
+listcomp04.lc 1:9-1:11
     ()
-testdata/language-features/basic-list/listcomp04.lc 1:9-1:17
+listcomp04.lc 1:9-1:17
     [()]
-testdata/language-features/basic-list/listcomp04.lc 1:12-1:14
+listcomp04.lc 1:12-1:14
     ()
-testdata/language-features/basic-list/listcomp04.lc 1:12-1:17
+listcomp04.lc 1:12-1:17
     [()]
-testdata/language-features/basic-list/listcomp04.lc 1:15-1:17
+listcomp04.lc 1:15-1:17
     () | [()]
-testdata/language-features/basic-list/listcomp04.lc 2:1-2:6
+listcomp04.lc 2:1-2:6
     [()]
-testdata/language-features/basic-list/listcomp04.lc 2:9-2:30
+listcomp04.lc 2:9-2:30
     [()]
-testdata/language-features/basic-list/listcomp04.lc 2:10-2:12
+listcomp04.lc 2:10-2:12
     () | [()]
-testdata/language-features/basic-list/listcomp04.lc 2:10-2:29
+listcomp04.lc 2:10-2:29
     [()]
-testdata/language-features/basic-list/listcomp04.lc 2:20-2:21
+listcomp04.lc 2:20-2:21
     [()]
-testdata/language-features/basic-list/listcomp04.lc 2:28-2:29
+listcomp04.lc 2:28-2:29
     [()]
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out
index 46e18270..91c6cd09 100644
--- a/testdata/language-features/basic-list/listcomp05.out
+++ b/testdata/language-features/basic-list/listcomp05.out
@@ -13,19 +13,19 @@ value
 value :: [()]
 value = _rhs (u : [] ++ foldr (++) [] (map (\_ -> [u]) [()]))
 ------------ tooltips
-testdata/language-features/basic-list/listcomp05.lc 1:1-1:6
+listcomp05.lc 1:1-1:6
     [()]
-testdata/language-features/basic-list/listcomp05.lc 1:9-1:39
+listcomp05.lc 1:9-1:39
     [()]
-testdata/language-features/basic-list/listcomp05.lc 1:10-1:11
+listcomp05.lc 1:10-1:11
     ()
-testdata/language-features/basic-list/listcomp05.lc 1:19-1:26
+listcomp05.lc 1:19-1:26
     [()]
-testdata/language-features/basic-list/listcomp05.lc 1:20-1:22
+listcomp05.lc 1:20-1:22
     ()
-testdata/language-features/basic-list/listcomp05.lc 1:23-1:25
+listcomp05.lc 1:23-1:25
     () | [()]
-testdata/language-features/basic-list/listcomp05.lc 1:32-1:33
+listcomp05.lc 1:32-1:33
     _b | ()
-testdata/language-features/basic-list/listcomp05.lc 1:36-1:38
+listcomp05.lc 1:36-1:38
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out
index b0e13efb..1b7db614 100644
--- a/testdata/language-features/basic-list/listcomp06.out
+++ b/testdata/language-features/basic-list/listcomp06.out
@@ -31,43 +31,43 @@ value2
   = _rhs
     (u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
 ------------ tooltips
-testdata/language-features/basic-list/listcomp06.lc 1:1-1:7
+listcomp06.lc 1:1-1:7
     [()]
-testdata/language-features/basic-list/listcomp06.lc 1:10-1:46
+listcomp06.lc 1:10-1:46
     [()]
-testdata/language-features/basic-list/listcomp06.lc 1:11-1:12
+listcomp06.lc 1:11-1:12
     () | [()]
-testdata/language-features/basic-list/listcomp06.lc 1:11-1:45
+listcomp06.lc 1:11-1:45
     [()] -> [()]
-testdata/language-features/basic-list/listcomp06.lc 1:20-1:27
+listcomp06.lc 1:20-1:27
     [()]
-testdata/language-features/basic-list/listcomp06.lc 1:21-1:23
+listcomp06.lc 1:21-1:23
     ()
-testdata/language-features/basic-list/listcomp06.lc 1:24-1:26
+listcomp06.lc 1:24-1:26
     () | [()]
-testdata/language-features/basic-list/listcomp06.lc 1:33-1:34
+listcomp06.lc 1:33-1:34
     _b | ()
-testdata/language-features/basic-list/listcomp06.lc 1:37-1:39
+listcomp06.lc 1:37-1:39
     ()
-testdata/language-features/basic-list/listcomp06.lc 1:41-1:45
+listcomp06.lc 1:41-1:45
     Bool
-testdata/language-features/basic-list/listcomp06.lc 3:1-3:7
+listcomp06.lc 3:1-3:7
     [()]
-testdata/language-features/basic-list/listcomp06.lc 3:10-3:46
+listcomp06.lc 3:10-3:46
     [()]
-testdata/language-features/basic-list/listcomp06.lc 3:11-3:12
+listcomp06.lc 3:11-3:12
     ()
-testdata/language-features/basic-list/listcomp06.lc 3:11-3:45
+listcomp06.lc 3:11-3:45
     [()]
-testdata/language-features/basic-list/listcomp06.lc 3:20-3:27
+listcomp06.lc 3:20-3:27
     [()]
-testdata/language-features/basic-list/listcomp06.lc 3:21-3:23
+listcomp06.lc 3:21-3:23
     ()
-testdata/language-features/basic-list/listcomp06.lc 3:24-3:26
+listcomp06.lc 3:24-3:26
     () | [()]
-testdata/language-features/basic-list/listcomp06.lc 3:29-3:33
+listcomp06.lc 3:29-3:33
     Bool
-testdata/language-features/basic-list/listcomp06.lc 3:39-3:40
+listcomp06.lc 3:39-3:40
     _b | ()
-testdata/language-features/basic-list/listcomp06.lc 3:43-3:45
+listcomp06.lc 3:43-3:45
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out
index cbabbc48..70ba3962 100644
--- a/testdata/language-features/basic-list/listcomp07.out
+++ b/testdata/language-features/basic-list/listcomp07.out
@@ -54,69 +54,69 @@ value3
   = _rhs
     (u : [] ++ foldr (++) [] (map (\_ -> primIfThenElse [' ()] True [u] []) [()]))
 ------------ tooltips
-testdata/language-features/basic-list/listcomp07.lc 1:1-1:7
+listcomp07.lc 1:1-1:7
     [()]
-testdata/language-features/basic-list/listcomp07.lc 1:10-6:11
+listcomp07.lc 1:10-6:11
     [()]
-testdata/language-features/basic-list/listcomp07.lc 1:12-1:13
+listcomp07.lc 1:12-1:13
     ()
-testdata/language-features/basic-list/listcomp07.lc 2:17-2:24
+listcomp07.lc 2:17-2:24
     [()]
-testdata/language-features/basic-list/listcomp07.lc 2:18-2:20
+listcomp07.lc 2:18-2:20
     ()
-testdata/language-features/basic-list/listcomp07.lc 2:21-2:23
+listcomp07.lc 2:21-2:23
     () | [()]
-testdata/language-features/basic-list/listcomp07.lc 3:16-3:17
+listcomp07.lc 3:16-3:17
     _b | ()
-testdata/language-features/basic-list/listcomp07.lc 3:20-3:22
+listcomp07.lc 3:20-3:22
     ()
-testdata/language-features/basic-list/listcomp07.lc 4:12-4:16
+listcomp07.lc 4:12-4:16
     Bool
-testdata/language-features/basic-list/listcomp07.lc 5:16-5:17
+listcomp07.lc 5:16-5:17
     _b | ()
-testdata/language-features/basic-list/listcomp07.lc 5:20-5:21
+listcomp07.lc 5:20-5:21
     ()
-testdata/language-features/basic-list/listcomp07.lc 8:1-8:7
+listcomp07.lc 8:1-8:7
     [()]
-testdata/language-features/basic-list/listcomp07.lc 8:10-12:11
+listcomp07.lc 8:10-12:11
     [()]
-testdata/language-features/basic-list/listcomp07.lc 8:12-8:13
+listcomp07.lc 8:12-8:13
     ()
-testdata/language-features/basic-list/listcomp07.lc 8:21-8:28
+listcomp07.lc 8:21-8:28
     [()]
-testdata/language-features/basic-list/listcomp07.lc 8:22-8:24
+listcomp07.lc 8:22-8:24
     ()
-testdata/language-features/basic-list/listcomp07.lc 8:25-8:27
+listcomp07.lc 8:25-8:27
     () | [()]
-testdata/language-features/basic-list/listcomp07.lc 9:16-9:17
+listcomp07.lc 9:16-9:17
     _b | ()
-testdata/language-features/basic-list/listcomp07.lc 9:20-9:22
+listcomp07.lc 9:20-9:22
     ()
-testdata/language-features/basic-list/listcomp07.lc 10:12-10:16
+listcomp07.lc 10:12-10:16
     Bool
-testdata/language-features/basic-list/listcomp07.lc 11:16-11:17
+listcomp07.lc 11:16-11:17
     _b | ()
-testdata/language-features/basic-list/listcomp07.lc 11:20-11:21
+listcomp07.lc 11:20-11:21
     ()
-testdata/language-features/basic-list/listcomp07.lc 14:1-14:7
+listcomp07.lc 14:1-14:7
     [()]
-testdata/language-features/basic-list/listcomp07.lc 14:10-20:3
+listcomp07.lc 14:10-20:3
     [()]
-testdata/language-features/basic-list/listcomp07.lc 14:12-14:13
+listcomp07.lc 14:12-14:13
     ()
-testdata/language-features/basic-list/listcomp07.lc 15:15-15:22
+listcomp07.lc 15:15-15:22
     [()]
-testdata/language-features/basic-list/listcomp07.lc 15:16-15:18
+listcomp07.lc 15:16-15:18
     ()
-testdata/language-features/basic-list/listcomp07.lc 15:19-15:21
+listcomp07.lc 15:19-15:21
     () | [()]
-testdata/language-features/basic-list/listcomp07.lc 17:2-17:3
+listcomp07.lc 17:2-17:3
     _b | ()
-testdata/language-features/basic-list/listcomp07.lc 17:6-17:8
+listcomp07.lc 17:6-17:8
     ()
-testdata/language-features/basic-list/listcomp07.lc 18:7-18:11
+listcomp07.lc 18:7-18:11
     Bool
-testdata/language-features/basic-list/listcomp07.lc 19:10-19:11
+listcomp07.lc 19:10-19:11
     _b | ()
-testdata/language-features/basic-list/listcomp07.lc 19:14-19:15
+listcomp07.lc 19:14-19:15
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index d57a754b..8aa2bb7c 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -1,22 +1,22 @@
 type error: can not unify
-  /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
+  'Internals.lc:63:6:
   data Bool = False | True
        ^^^^
 with
   String
-in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
+in listcomp08.reject.lc:1:23:
 value = [x | x <- [], "not Bool"]
                       ^^^^^^^^^^
 ------------ trace
 !type error: can not unify
-  /home/divip/.cabal/share/x86_64-linux-ghc-7.10.3/lambdacube-compiler-0.6.0.0/lc/Internals.lc:63:6:
+  'Internals.lc:63:6:
   data Bool = False | True
        ^^^^
 with
   String
-in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
+in listcomp08.reject.lc:1:23:
 value = [x | x <- [], "not Bool"]
                       ^^^^^^^^^^
 ------------ tooltips
-testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33
+listcomp08.reject.lc 1:23-1:33
     String
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out
index 6c1c9d6d..1c81c25f 100644
--- a/testdata/language-features/basic-list/listcomp09.out
+++ b/testdata/language-features/basic-list/listcomp09.out
@@ -8,13 +8,13 @@ value1
 value1 :: @Type -> [() -> String]
 value1 = \_ -> _rhs []
 ------------ tooltips
-testdata/language-features/basic-list/listcomp09.lc 1:1-1:7
+listcomp09.lc 1:1-1:7
     @Type -> [() -> String]
-testdata/language-features/basic-list/listcomp09.lc 1:10-1:36
+listcomp09.lc 1:10-1:36
     [() -> String]
-testdata/language-features/basic-list/listcomp09.lc 1:11-1:25
+listcomp09.lc 1:11-1:25
     [() -> String]
-testdata/language-features/basic-list/listcomp09.lc 1:18-1:25
+listcomp09.lc 1:18-1:25
     String
-testdata/language-features/basic-list/listcomp09.lc 1:33-1:35
+listcomp09.lc 1:33-1:35
     forall a . [a]
\ No newline at end of file