67 files changed, 860 insertions, 860 deletions

diff --git a/testdata/language-features/basic-values/bool01.out b/testdata/language-features/basic-values/bool01.out
index 5d0f35af..2ff3bc18 100644
--- a/testdata/language-features/basic-values/bool01.out
+++ b/testdata/language-features/basic-values/bool01.out
@@ -10,11 +10,11 @@ value1 = _rhs True
 value2 :: Bool
 value2 = _rhs False
 ------------ tooltips
-testdata/language-features/basic-values/bool01.lc 1:1-1:7
+bool01.lc 1:1-1:7
     Bool
-testdata/language-features/basic-values/bool01.lc 1:10-1:14
+bool01.lc 1:10-1:14
     Bool
-testdata/language-features/basic-values/bool01.lc 2:1-2:7
+bool01.lc 2:1-2:7
     Bool
-testdata/language-features/basic-values/bool01.lc 2:10-2:15
+bool01.lc 2:10-2:15
     Bool
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/case01.out b/testdata/language-features/basic-values/case01.out
index eff9fb43..f807abb9 100644
--- a/testdata/language-features/basic-values/case01.out
+++ b/testdata/language-features/basic-values/case01.out
@@ -30,51 +30,51 @@ value5 = _rhs ()
 value6 :: ()
 value6 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/case01.lc 1:1-1:7
+case01.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/case01.lc 1:10-1:29
+case01.lc 1:10-1:29
     ()
-testdata/language-features/basic-values/case01.lc 1:15-1:17
+case01.lc 1:15-1:17
     ()
-testdata/language-features/basic-values/case01.lc 1:27-1:29
+case01.lc 1:27-1:29
     ()
-testdata/language-features/basic-values/case01.lc 3:1-3:7
+case01.lc 3:1-3:7
     ()
-testdata/language-features/basic-values/case01.lc 3:10-4:11
+case01.lc 3:10-4:11
     ()
-testdata/language-features/basic-values/case01.lc 3:15-3:17
+case01.lc 3:15-3:17
     ()
-testdata/language-features/basic-values/case01.lc 4:9-4:11
+case01.lc 4:9-4:11
     ()
-testdata/language-features/basic-values/case01.lc 6:1-6:7
+case01.lc 6:1-6:7
     ()
-testdata/language-features/basic-values/case01.lc 7:3-8:13
+case01.lc 7:3-8:13
     ()
-testdata/language-features/basic-values/case01.lc 7:8-7:10
+case01.lc 7:8-7:10
     ()
-testdata/language-features/basic-values/case01.lc 8:11-8:13
+case01.lc 8:11-8:13
     ()
-testdata/language-features/basic-values/case01.lc 10:1-10:7
+case01.lc 10:1-10:7
     ()
-testdata/language-features/basic-values/case01.lc 11:3-13:9
+case01.lc 11:3-13:9
     ()
-testdata/language-features/basic-values/case01.lc 11:8-11:10
+case01.lc 11:8-11:10
     ()
-testdata/language-features/basic-values/case01.lc 13:7-13:9
+case01.lc 13:7-13:9
     ()
-testdata/language-features/basic-values/case01.lc 15:1-15:7
+case01.lc 15:1-15:7
     ()
-testdata/language-features/basic-values/case01.lc 16:3-19:11
+case01.lc 16:3-19:11
     ()
-testdata/language-features/basic-values/case01.lc 16:8-16:10
+case01.lc 16:8-16:10
     ()
-testdata/language-features/basic-values/case01.lc 19:9-19:11
+case01.lc 19:9-19:11
     ()
-testdata/language-features/basic-values/case01.lc 21:1-21:7
+case01.lc 21:1-21:7
     ()
-testdata/language-features/basic-values/case01.lc 22:3-23:12
+case01.lc 22:3-23:12
     ()
-testdata/language-features/basic-values/case01.lc 22:8-22:10
+case01.lc 22:8-22:10
     ()
-testdata/language-features/basic-values/case01.lc 23:10-23:12
+case01.lc 23:10-23:12
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out
index f445f91a..b0a99d85 100644
--- a/testdata/language-features/basic-values/case02.out
+++ b/testdata/language-features/basic-values/case02.out
@@ -31,31 +31,31 @@ value2
       "1"
       ((a == d) (fromInt a e 1) (fromInt a e 2)))
 ------------ tooltips
-testdata/language-features/basic-values/case02.lc 1:1-1:7
+case02.lc 1:1-1:7
     forall a . (Eq a, Num a) => ()
-testdata/language-features/basic-values/case02.lc 1:10-3:10
+case02.lc 1:10-3:10
     ()
-testdata/language-features/basic-values/case02.lc 1:15-1:16
+case02.lc 1:15-1:16
     _b
-testdata/language-features/basic-values/case02.lc 2:8-2:10
+case02.lc 2:8-2:10
     ()
-testdata/language-features/basic-values/case02.lc 2:8-3:10
+case02.lc 2:8-3:10
     Bool -> ()
-testdata/language-features/basic-values/case02.lc 3:8-3:10
+case02.lc 3:8-3:10
     ()
-testdata/language-features/basic-values/case02.lc 5:1-5:7
+case02.lc 5:1-5:7
     forall a . (Eq a, Num a, Eq a, Num a) => String
-testdata/language-features/basic-values/case02.lc 5:10-8:11
+case02.lc 5:10-8:11
     String
-testdata/language-features/basic-values/case02.lc 5:15-5:16
+case02.lc 5:15-5:16
     _b
-testdata/language-features/basic-values/case02.lc 6:8-6:11
+case02.lc 6:8-6:11
     String
-testdata/language-features/basic-values/case02.lc 6:8-8:11
+case02.lc 6:8-8:11
     Bool -> String
-testdata/language-features/basic-values/case02.lc 7:8-7:11
+case02.lc 7:8-7:11
     String
-testdata/language-features/basic-values/case02.lc 7:8-8:11
+case02.lc 7:8-8:11
     Bool -> String | String
-testdata/language-features/basic-values/case02.lc 8:8-8:11
+case02.lc 8:8-8:11
     String
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out
index 6b272e26..64c21552 100644
--- a/testdata/language-features/basic-values/case03.reject.out
+++ b/testdata/language-features/basic-values/case03.reject.out
@@ -1,22 +1,22 @@
 type error: no instance of 'Num on ???
-in testdata/language-features/basic-values/case03.reject.lc:1:10:
+in case03.reject.lc:1:10:
 value1 = case () of
   1 -> ()
   _ -> ()
 ------------ trace
 !type error: no instance of 'Num on ???
-in testdata/language-features/basic-values/case03.reject.lc:1:10:
+in case03.reject.lc:1:10:
 value1 = case () of
   1 -> ()
   _ -> ()
 ------------ tooltips
-testdata/language-features/basic-values/case03.reject.lc 1:10-3:10
+case03.reject.lc 1:10-3:10
     ()
-testdata/language-features/basic-values/case03.reject.lc 1:15-1:17
+case03.reject.lc 1:15-1:17
     ()
-testdata/language-features/basic-values/case03.reject.lc 2:8-2:10
+case03.reject.lc 2:8-2:10
     ()
-testdata/language-features/basic-values/case03.reject.lc 2:8-3:10
+case03.reject.lc 2:8-3:10
     Bool -> ()
-testdata/language-features/basic-values/case03.reject.lc 3:8-3:10
+case03.reject.lc 3:8-3:10
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out
index aa395eab..1eb0690b 100644
--- a/testdata/language-features/basic-values/case04.reject.out
+++ b/testdata/language-features/basic-values/case04.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
   ()
 with
   Char
-in testdata/language-features/basic-values/case04.reject.lc:2:8:
+in case04.reject.lc:2:8:
   1 -> '1'
        ^^^
 ------------ trace
@@ -10,11 +10,11 @@ in testdata/language-features/basic-values/case04.reject.lc:2:8:
   ()
 with
   Char
-in testdata/language-features/basic-values/case04.reject.lc:2:8:
+in case04.reject.lc:2:8:
   1 -> '1'
        ^^^
 ------------ tooltips
-testdata/language-features/basic-values/case04.reject.lc 2:8-2:11
+case04.reject.lc 2:8-2:11
     Char
-testdata/language-features/basic-values/case04.reject.lc 3:8-3:10
+case04.reject.lc 3:8-3:10
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index 130dd7d3..d6494cf2 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -11,16 +11,16 @@ value
   = \a b c d -> _rhs
     (case'Bool (\_ -> 'Char) (undefined 'Char) '1' ((a == b) (fromInt a c 1) d))
 ------------ tooltips
-testdata/language-features/basic-values/case05.lc 1:1-1:6
+case05.lc 1:1-1:6
     forall a . (Eq a, Num a) => a -> Char
-testdata/language-features/basic-values/case05.lc 1:11-2:11
+case05.lc 1:11-2:11
     Char
-testdata/language-features/basic-values/case05.lc 1:16-1:17
+case05.lc 1:16-1:17
     _e
-testdata/language-features/basic-values/case05.lc 2:8-2:11
+case05.lc 2:8-2:11
     Char
 ------------ warnings
-Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
+Uncovered pattern(s) at case05.lc:1:16:
 value x = case x of
                ^
 Missing case(s):
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
index 9b4ff748..c69a1cbb 100644
--- a/testdata/language-features/basic-values/case06.out
+++ b/testdata/language-features/basic-values/case06.out
@@ -11,15 +11,15 @@ value
   = \a b c d -> _rhs
     (case'Bool (\_ -> 'Char) '_' '1' ((a == b) (fromInt a c 1) d))
 ------------ tooltips
-testdata/language-features/basic-values/case06.lc 1:1-1:6
+case06.lc 1:1-1:6
     forall a . (Eq a, Num a) => a -> Char
-testdata/language-features/basic-values/case06.lc 1:11-3:11
+case06.lc 1:11-3:11
     Char
-testdata/language-features/basic-values/case06.lc 1:16-1:17
+case06.lc 1:16-1:17
     _e
-testdata/language-features/basic-values/case06.lc 2:8-2:11
+case06.lc 2:8-2:11
     Char
-testdata/language-features/basic-values/case06.lc 2:8-3:11
+case06.lc 2:8-3:11
     Bool -> Char
-testdata/language-features/basic-values/case06.lc 3:8-3:11
+case06.lc 3:8-3:11
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index 0bad6ca1..026fc8ac 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -74,37 +74,37 @@ match'D1 = \a b c d -> <<type case function>>
 match'E :: forall (a :: Type -> Type) -> a E -> forall b -> a b -> a b
 match'E = \a b c d -> <<type case function>>
 ------------ tooltips
-testdata/language-features/basic-values/data01.lc 1:6-1:7
+data01.lc 1:6-1:7
     Type | Type | Type | Type | Type | Type | Type
-testdata/language-features/basic-values/data01.lc 1:6-1:13
+data01.lc 1:6-1:13
     Type | Type | Type
-testdata/language-features/basic-values/data01.lc 1:8-1:9
+data01.lc 1:8-1:9
     A
-testdata/language-features/basic-values/data01.lc 1:10-1:11
+data01.lc 1:10-1:11
     A
-testdata/language-features/basic-values/data01.lc 1:12-1:13
+data01.lc 1:12-1:13
     A
-testdata/language-features/basic-values/data01.lc 3:6-3:7
+data01.lc 3:6-3:7
     Type | Type | Type | Type | Type | Type | Type | Type
-testdata/language-features/basic-values/data01.lc 3:6-3:22
+data01.lc 3:6-3:22
     Type | Type | Type
-testdata/language-features/basic-values/data01.lc 3:10-3:11
+data01.lc 3:10-3:11
     E
-testdata/language-features/basic-values/data01.lc 3:14-3:15
+data01.lc 3:14-3:15
     () -> E | E | Type | Type
-testdata/language-features/basic-values/data01.lc 3:16-3:18
+data01.lc 3:16-3:18
     Type
-testdata/language-features/basic-values/data01.lc 3:21-3:22
+data01.lc 3:21-3:22
     E
-testdata/language-features/basic-values/data01.lc 5:6-5:8
+data01.lc 5:6-5:8
     Type | Type | Type | Type | Type | Type | Type | Type
-testdata/language-features/basic-values/data01.lc 5:6-6:13
+data01.lc 5:6-6:13
     Type | Type | Type
-testdata/language-features/basic-values/data01.lc 5:9-5:11
+data01.lc 5:9-5:11
     D1
-testdata/language-features/basic-values/data01.lc 6:5-6:7
+data01.lc 6:5-6:7
     () -> D1 | D1 | Type | Type
-testdata/language-features/basic-values/data01.lc 6:7-6:9
+data01.lc 6:7-6:9
     Type
-testdata/language-features/basic-values/data01.lc 6:11-6:13
+data01.lc 6:11-6:13
     D1
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out
index eba795a8..77eb7749 100644
--- a/testdata/language-features/basic-values/def01.out
+++ b/testdata/language-features/basic-values/def01.out
@@ -15,15 +15,15 @@ fun2 = \a b c d e _ _ _ _ _ -> _rhs 'c'
 unit :: ()
 unit = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/def01.lc 1:1-1:5
+def01.lc 1:1-1:5
     ()
-testdata/language-features/basic-values/def01.lc 1:8-1:10
+def01.lc 1:8-1:10
     ()
-testdata/language-features/basic-values/def01.lc 3:1-3:5
+def01.lc 3:1-3:5
     forall a b . Num b => a -> b
-testdata/language-features/basic-values/def01.lc 3:10-3:11
+def01.lc 3:10-3:11
     _b
-testdata/language-features/basic-values/def01.lc 5:1-5:5
+def01.lc 5:1-5:5
     forall a b c d e . a -> b -> c -> d -> e -> Char
-testdata/language-features/basic-values/def01.lc 5:18-5:21
+def01.lc 5:18-5:21
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def02.reject.out b/testdata/language-features/basic-values/def02.reject.out
index eca7cb70..ebe02235 100644
--- a/testdata/language-features/basic-values/def02.reject.out
+++ b/testdata/language-features/basic-values/def02.reject.out
@@ -1,8 +1,8 @@
 multiple pattern vars:
 x is defined at
-testdata/language-features/basic-values/def02.reject.lc:1:6:
+def02.reject.lc:1:6:
 fun1 x x = 'c'
      ^
-testdata/language-features/basic-values/def02.reject.lc:1:8:
+def02.reject.lc:1:8:
 fun1 x x = 'c'
-       ^
+       ^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index a90c1488..8b6f38a7 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -21,16 +21,16 @@ fun
     (_rhs '1')
     ((a == d) (fromInt a e 1) f)
 ------------ tooltips
-testdata/language-features/basic-values/def03.lc 1:1-1:4
+def03.lc 1:1-1:4
     forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
-testdata/language-features/basic-values/def03.lc 1:9-1:12
+def03.lc 1:9-1:12
     Char
-testdata/language-features/basic-values/def03.lc 1:9-2:12
+def03.lc 1:9-2:12
     Bool -> Char
-testdata/language-features/basic-values/def03.lc 2:9-2:12
+def03.lc 2:9-2:12
     Char | Char
 ------------ warnings
-Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
+Uncovered pattern(s) at def03.lc:1:1:
 fun 1 = '1'
 fun 2 = '2'
 Missing case(s):
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index d4fbfa4e..08854519 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -34,27 +34,27 @@ fun2
     (_rhs '1')
     ((a == e) (fromInt a f 1) g)
 ------------ tooltips
-testdata/language-features/basic-values/def04.lc 1:1-1:4
+def04.lc 1:1-1:4
     forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
-testdata/language-features/basic-values/def04.lc 1:9-1:12
+def04.lc 1:9-1:12
     Char
-testdata/language-features/basic-values/def04.lc 1:9-3:12
+def04.lc 1:9-3:12
     Bool -> Char
-testdata/language-features/basic-values/def04.lc 2:9-2:12
+def04.lc 2:9-2:12
     Char
-testdata/language-features/basic-values/def04.lc 2:9-3:12
+def04.lc 2:9-3:12
     Bool -> Char | Char
-testdata/language-features/basic-values/def04.lc 3:9-3:12
+def04.lc 3:9-3:12
     Char
-testdata/language-features/basic-values/def04.lc 5:1-5:5
+def04.lc 5:1-5:5
     forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char
-testdata/language-features/basic-values/def04.lc 5:12-5:15
+def04.lc 5:12-5:15
     Char
-testdata/language-features/basic-values/def04.lc 5:12-7:15
+def04.lc 5:12-7:15
     Bool -> Char
-testdata/language-features/basic-values/def04.lc 6:12-6:15
+def04.lc 6:12-6:15
     Char
-testdata/language-features/basic-values/def04.lc 6:12-7:15
+def04.lc 6:12-7:15
     Bool -> Char | Char
-testdata/language-features/basic-values/def04.lc 7:12-7:15
+def04.lc 7:12-7:15
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def05.reject.out b/testdata/language-features/basic-values/def05.reject.out
index edd16b87..2add70ca 100644
--- a/testdata/language-features/basic-values/def05.reject.out
+++ b/testdata/language-features/basic-values/def05.reject.out
@@ -1,8 +1,8 @@
 testdata/language-features/basic-values/def05.reject.lc:4:1:
 different number of arguments of fun:
-testdata/language-features/basic-values/def05.reject.lc:1:1:
+def05.reject.lc:1:1:
 fun 1 = '1'
 ^^^
-testdata/language-features/basic-values/def05.reject.lc:3:1:
+def05.reject.lc:3:1:
 fun = '_'
-^^^
+^^^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def06.reject.out b/testdata/language-features/basic-values/def06.reject.out
index cf116b52..1d0402dc 100644
--- a/testdata/language-features/basic-values/def06.reject.out
+++ b/testdata/language-features/basic-values/def06.reject.out
@@ -1,8 +1,8 @@
 testdata/language-features/basic-values/def06.reject.lc:5:1:
 different number of arguments of fun2:
-testdata/language-features/basic-values/def06.reject.lc:1:1:
+def06.reject.lc:1:1:
 fun2 1 _ = '1'
 ^^^^
-testdata/language-features/basic-values/def06.reject.lc:3:1:
+def06.reject.lc:3:1:
 fun2 _ = '_'
-^^^^
+^^^^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index 663b586e..59c56627 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -1,43 +1,43 @@
-already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
+already defined fun at def07.reject.lc:4:1:
 fun _ = '_'
 ^^^
-and at testdata/language-features/basic-values/def07.reject.lc:1:1:
+and at def07.reject.lc:1:1:
 fun 1 = '1'
 ^^^
 ------------ trace
 fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
 fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char
 fun :: forall a . a -> Char
-!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
+!already defined fun at def07.reject.lc:4:1:
 fun _ = '_'
 ^^^
-and at testdata/language-features/basic-values/def07.reject.lc:1:1:
+and at def07.reject.lc:1:1:
 fun 1 = '1'
 ^^^
 ------------ tooltips
-testdata/language-features/basic-values/def07.reject.lc 1:1-1:4
+def07.reject.lc 1:1-1:4
     forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
-testdata/language-features/basic-values/def07.reject.lc 1:9-1:12
+def07.reject.lc 1:9-1:12
     Char
-testdata/language-features/basic-values/def07.reject.lc 1:9-2:12
+def07.reject.lc 1:9-2:12
     Bool -> Char
-testdata/language-features/basic-values/def07.reject.lc 2:9-2:12
+def07.reject.lc 2:9-2:12
     Char | Char
-testdata/language-features/basic-values/def07.reject.lc 3:1-3:5
+def07.reject.lc 3:1-3:5
     forall a b . (Eq a, Num a) => a -> b -> Char
-testdata/language-features/basic-values/def07.reject.lc 3:12-3:15
+def07.reject.lc 3:12-3:15
     Char
-testdata/language-features/basic-values/def07.reject.lc 4:1-4:4
+def07.reject.lc 4:1-4:4
     forall a . a -> Char
-testdata/language-features/basic-values/def07.reject.lc 4:9-4:12
+def07.reject.lc 4:9-4:12
     Char
 ------------ warnings
-Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1:
+Uncovered pattern(s) at def07.reject.lc:1:1:
 fun 1 = '1'
 fun 2 = '2'
 Missing case(s):
     fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a
-Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
+Uncovered pattern(s) at def07.reject.lc:3:1:
 fun2 1 _ = '1'
 ^^^^
 Missing case(s):
diff --git a/testdata/language-features/basic-values/deforder01.out b/testdata/language-features/basic-values/deforder01.out
index 932a2a54..c1a1dec0 100644
--- a/testdata/language-features/basic-values/deforder01.out
+++ b/testdata/language-features/basic-values/deforder01.out
@@ -10,11 +10,11 @@ x = _rhs '1'
 y :: Char
 y = _rhs '1'
 ------------ tooltips
-testdata/language-features/basic-values/deforder01.lc 1:1-1:2
+deforder01.lc 1:1-1:2
     Char
-testdata/language-features/basic-values/deforder01.lc 1:5-1:8
+deforder01.lc 1:5-1:8
     Char
-testdata/language-features/basic-values/deforder01.lc 2:1-2:2
+deforder01.lc 2:1-2:2
     Char
-testdata/language-features/basic-values/deforder01.lc 2:5-2:6
+deforder01.lc 2:5-2:6
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder02.out b/testdata/language-features/basic-values/deforder02.out
index 2bfbd5b3..3173fc2d 100644
--- a/testdata/language-features/basic-values/deforder02.out
+++ b/testdata/language-features/basic-values/deforder02.out
@@ -10,11 +10,11 @@ x = _rhs '1'
 y :: Char
 y = _rhs '1'
 ------------ tooltips
-testdata/language-features/basic-values/deforder02.lc 1:1-1:2
+deforder02.lc 1:1-1:2
     Char
-testdata/language-features/basic-values/deforder02.lc 1:5-1:6
+deforder02.lc 1:5-1:6
     Char
-testdata/language-features/basic-values/deforder02.lc 2:1-2:2
+deforder02.lc 2:1-2:2
     Char
-testdata/language-features/basic-values/deforder02.lc 2:5-2:8
+deforder02.lc 2:5-2:8
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder03.out b/testdata/language-features/basic-values/deforder03.out
index 66cb3c71..c77dd75f 100644
--- a/testdata/language-features/basic-values/deforder03.out
+++ b/testdata/language-features/basic-values/deforder03.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
 value :: Char
 value = _rhs '1'
 ------------ tooltips
-testdata/language-features/basic-values/deforder03.lc 1:1-1:6
+deforder03.lc 1:1-1:6
     Char
-testdata/language-features/basic-values/deforder03.lc 1:17-1:19
+deforder03.lc 1:17-1:19
     ()
-testdata/language-features/basic-values/deforder03.lc 2:17-2:18
+deforder03.lc 2:17-2:18
     ()
-testdata/language-features/basic-values/deforder03.lc 3:12-3:15
+deforder03.lc 3:12-3:15
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder04.out b/testdata/language-features/basic-values/deforder04.out
index 17a9a408..b30d2932 100644
--- a/testdata/language-features/basic-values/deforder04.out
+++ b/testdata/language-features/basic-values/deforder04.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
 value :: Char
 value = _rhs '1'
 ------------ tooltips
-testdata/language-features/basic-values/deforder04.lc 1:1-1:6
+deforder04.lc 1:1-1:6
     Char
-testdata/language-features/basic-values/deforder04.lc 1:17-1:18
+deforder04.lc 1:17-1:18
     ()
-testdata/language-features/basic-values/deforder04.lc 2:17-2:19
+deforder04.lc 2:17-2:19
     ()
-testdata/language-features/basic-values/deforder04.lc 3:12-3:15
+deforder04.lc 3:12-3:15
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder05.out b/testdata/language-features/basic-values/deforder05.out
index abc83591..c1b49368 100644
--- a/testdata/language-features/basic-values/deforder05.out
+++ b/testdata/language-features/basic-values/deforder05.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
 value :: Char
 value = _rhs '1'
 ------------ tooltips
-testdata/language-features/basic-values/deforder05.lc 1:1-1:6
+deforder05.lc 1:1-1:6
     Char
-testdata/language-features/basic-values/deforder05.lc 1:9-1:12
+deforder05.lc 1:9-1:12
     Char
-testdata/language-features/basic-values/deforder05.lc 1:23-1:24
+deforder05.lc 1:23-1:24
     ()
-testdata/language-features/basic-values/deforder05.lc 2:23-2:25
+deforder05.lc 2:23-2:25
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder06.out b/testdata/language-features/basic-values/deforder06.out
index c44eec77..7fa41792 100644
--- a/testdata/language-features/basic-values/deforder06.out
+++ b/testdata/language-features/basic-values/deforder06.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
 value :: Char
 value = _rhs '1'
 ------------ tooltips
-testdata/language-features/basic-values/deforder06.lc 1:1-1:6
+deforder06.lc 1:1-1:6
     Char
-testdata/language-features/basic-values/deforder06.lc 1:9-1:12
+deforder06.lc 1:9-1:12
     Char
-testdata/language-features/basic-values/deforder06.lc 1:23-1:25
+deforder06.lc 1:23-1:25
     ()
-testdata/language-features/basic-values/deforder06.lc 2:23-2:24
+deforder06.lc 2:23-2:24
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/fixity01.out b/testdata/language-features/basic-values/fixity01.out
index 689c921a..50287803 100644
--- a/testdata/language-features/basic-values/fixity01.out
+++ b/testdata/language-features/basic-values/fixity01.out
@@ -28,19 +28,19 @@ funL = \a b c _ -> _rhs c
 funR :: forall a b . a -> b -> a
 funR = \a b c _ -> _rhs c
 ------------ tooltips
-testdata/language-features/basic-values/fixity01.lc 1:1-1:5
+fixity01.lc 1:1-1:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity01.lc 1:12-1:13
+fixity01.lc 1:12-1:13
     _d
-testdata/language-features/basic-values/fixity01.lc 2:1-2:5
+fixity01.lc 2:1-2:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity01.lc 2:12-2:13
+fixity01.lc 2:12-2:13
     _d
-testdata/language-features/basic-values/fixity01.lc 4:3-4:7
+fixity01.lc 4:3-4:7
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity01.lc 4:12-4:13
+fixity01.lc 4:12-4:13
     _d
-testdata/language-features/basic-values/fixity01.lc 5:3-5:7
+fixity01.lc 5:3-5:7
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity01.lc 5:12-5:13
+fixity01.lc 5:12-5:13
     _b
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out
index 1dbf5728..bdd35bc4 100644
--- a/testdata/language-features/basic-values/fixity02.out
+++ b/testdata/language-features/basic-values/fixity02.out
@@ -114,499 +114,499 @@ value7 = _rhs "hi"
 value8 :: ()
 value8 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/fixity02.lc 1:1-1:5
+fixity02.lc 1:1-1:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 1:12-1:13
+fixity02.lc 1:12-1:13
     _d
-testdata/language-features/basic-values/fixity02.lc 2:1-2:5
+fixity02.lc 2:1-2:5
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 2:12-2:13
+fixity02.lc 2:12-2:13
     _b
-testdata/language-features/basic-values/fixity02.lc 4:3-4:5
+fixity02.lc 4:3-4:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 4:10-4:11
+fixity02.lc 4:10-4:11
     _d
-testdata/language-features/basic-values/fixity02.lc 5:3-5:5
+fixity02.lc 5:3-5:5
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 5:10-5:11
+fixity02.lc 5:10-5:11
     _b
-testdata/language-features/basic-values/fixity02.lc 11:1-11:7
+fixity02.lc 11:1-11:7
     Float
-testdata/language-features/basic-values/fixity02.lc 11:10-11:12
+fixity02.lc 11:10-11:12
     ()
-testdata/language-features/basic-values/fixity02.lc 11:10-11:15
+fixity02.lc 11:10-11:15
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 11:10-11:34
+fixity02.lc 11:10-11:34
     Float
-testdata/language-features/basic-values/fixity02.lc 11:13-11:15
+fixity02.lc 11:13-11:15
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 11:16-11:19
+fixity02.lc 11:16-11:19
     Char
-testdata/language-features/basic-values/fixity02.lc 11:16-11:22
+fixity02.lc 11:16-11:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 11:16-11:34
+fixity02.lc 11:16-11:34
     Float
-testdata/language-features/basic-values/fixity02.lc 11:20-11:22
+fixity02.lc 11:20-11:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 11:23-11:27
+fixity02.lc 11:23-11:27
     String
-testdata/language-features/basic-values/fixity02.lc 11:23-11:30
+fixity02.lc 11:23-11:30
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 11:23-11:34
+fixity02.lc 11:23-11:34
     Float
-testdata/language-features/basic-values/fixity02.lc 11:28-11:30
+fixity02.lc 11:28-11:30
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 11:31-11:34
+fixity02.lc 11:31-11:34
     Float
-testdata/language-features/basic-values/fixity02.lc 11:38-11:43
+fixity02.lc 11:38-11:43
     Type
-testdata/language-features/basic-values/fixity02.lc 12:1-12:7
+fixity02.lc 12:1-12:7
     Float
-testdata/language-features/basic-values/fixity02.lc 12:10-12:12
+fixity02.lc 12:10-12:12
     ()
-testdata/language-features/basic-values/fixity02.lc 12:10-12:15
+fixity02.lc 12:10-12:15
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 12:10-12:34
+fixity02.lc 12:10-12:34
     Float
-testdata/language-features/basic-values/fixity02.lc 12:13-12:15
+fixity02.lc 12:13-12:15
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 12:16-12:19
+fixity02.lc 12:16-12:19
     Char
-testdata/language-features/basic-values/fixity02.lc 12:16-12:22
+fixity02.lc 12:16-12:22
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 12:16-12:27
+fixity02.lc 12:16-12:27
     Char
-testdata/language-features/basic-values/fixity02.lc 12:16-12:30
+fixity02.lc 12:16-12:30
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 12:16-12:34
+fixity02.lc 12:16-12:34
     Float
-testdata/language-features/basic-values/fixity02.lc 12:20-12:22
+fixity02.lc 12:20-12:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 12:23-12:27
+fixity02.lc 12:23-12:27
     String
-testdata/language-features/basic-values/fixity02.lc 12:28-12:30
+fixity02.lc 12:28-12:30
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 12:31-12:34
+fixity02.lc 12:31-12:34
     Float
-testdata/language-features/basic-values/fixity02.lc 12:38-12:43
+fixity02.lc 12:38-12:43
     Type
-testdata/language-features/basic-values/fixity02.lc 13:1-13:7
+fixity02.lc 13:1-13:7
     Float
-testdata/language-features/basic-values/fixity02.lc 13:10-13:12
+fixity02.lc 13:10-13:12
     ()
-testdata/language-features/basic-values/fixity02.lc 13:10-13:15
+fixity02.lc 13:10-13:15
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 13:10-13:19
+fixity02.lc 13:10-13:19
     ()
-testdata/language-features/basic-values/fixity02.lc 13:10-13:22
+fixity02.lc 13:10-13:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 13:10-13:34
+fixity02.lc 13:10-13:34
     Float
-testdata/language-features/basic-values/fixity02.lc 13:13-13:15
+fixity02.lc 13:13-13:15
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 13:16-13:19
+fixity02.lc 13:16-13:19
     Char
-testdata/language-features/basic-values/fixity02.lc 13:20-13:22
+fixity02.lc 13:20-13:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 13:23-13:27
+fixity02.lc 13:23-13:27
     String
-testdata/language-features/basic-values/fixity02.lc 13:23-13:30
+fixity02.lc 13:23-13:30
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 13:23-13:34
+fixity02.lc 13:23-13:34
     Float
-testdata/language-features/basic-values/fixity02.lc 13:28-13:30
+fixity02.lc 13:28-13:30
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 13:31-13:34
+fixity02.lc 13:31-13:34
     Float
-testdata/language-features/basic-values/fixity02.lc 13:38-13:43
+fixity02.lc 13:38-13:43
     Type
-testdata/language-features/basic-values/fixity02.lc 14:1-14:7
+fixity02.lc 14:1-14:7
     Float
-testdata/language-features/basic-values/fixity02.lc 14:10-14:12
+fixity02.lc 14:10-14:12
     ()
-testdata/language-features/basic-values/fixity02.lc 14:10-14:15
+fixity02.lc 14:10-14:15
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 14:10-14:27
+fixity02.lc 14:10-14:27
     ()
-testdata/language-features/basic-values/fixity02.lc 14:10-14:30
+fixity02.lc 14:10-14:30
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 14:10-14:34
+fixity02.lc 14:10-14:34
     Float
-testdata/language-features/basic-values/fixity02.lc 14:13-14:15
+fixity02.lc 14:13-14:15
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 14:16-14:19
+fixity02.lc 14:16-14:19
     Char
-testdata/language-features/basic-values/fixity02.lc 14:16-14:22
+fixity02.lc 14:16-14:22
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 14:16-14:27
+fixity02.lc 14:16-14:27
     Char
-testdata/language-features/basic-values/fixity02.lc 14:20-14:22
+fixity02.lc 14:20-14:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 14:23-14:27
+fixity02.lc 14:23-14:27
     String
-testdata/language-features/basic-values/fixity02.lc 14:28-14:30
+fixity02.lc 14:28-14:30
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 14:31-14:34
+fixity02.lc 14:31-14:34
     Float
-testdata/language-features/basic-values/fixity02.lc 14:38-14:43
+fixity02.lc 14:38-14:43
     Type
-testdata/language-features/basic-values/fixity02.lc 15:1-15:7
+fixity02.lc 15:1-15:7
     String
-testdata/language-features/basic-values/fixity02.lc 15:10-15:12
+fixity02.lc 15:10-15:12
     ()
-testdata/language-features/basic-values/fixity02.lc 15:10-15:15
+fixity02.lc 15:10-15:15
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 15:10-15:34
+fixity02.lc 15:10-15:34
     String
-testdata/language-features/basic-values/fixity02.lc 15:13-15:15
+fixity02.lc 15:13-15:15
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 15:16-15:19
+fixity02.lc 15:16-15:19
     Char
-testdata/language-features/basic-values/fixity02.lc 15:16-15:22
+fixity02.lc 15:16-15:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 15:16-15:34
+fixity02.lc 15:16-15:34
     String
-testdata/language-features/basic-values/fixity02.lc 15:20-15:22
+fixity02.lc 15:20-15:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 15:23-15:27
+fixity02.lc 15:23-15:27
     String
-testdata/language-features/basic-values/fixity02.lc 15:23-15:30
+fixity02.lc 15:23-15:30
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 15:23-15:34
+fixity02.lc 15:23-15:34
     String
-testdata/language-features/basic-values/fixity02.lc 15:28-15:30
+fixity02.lc 15:28-15:30
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 15:31-15:34
+fixity02.lc 15:31-15:34
     Float
-testdata/language-features/basic-values/fixity02.lc 15:38-15:44
+fixity02.lc 15:38-15:44
     Type
-testdata/language-features/basic-values/fixity02.lc 16:1-16:7
+fixity02.lc 16:1-16:7
     Char
-testdata/language-features/basic-values/fixity02.lc 16:10-16:12
+fixity02.lc 16:10-16:12
     ()
-testdata/language-features/basic-values/fixity02.lc 16:10-16:15
+fixity02.lc 16:10-16:15
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 16:10-16:34
+fixity02.lc 16:10-16:34
     Char
-testdata/language-features/basic-values/fixity02.lc 16:13-16:15
+fixity02.lc 16:13-16:15
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 16:16-16:19
+fixity02.lc 16:16-16:19
     Char
-testdata/language-features/basic-values/fixity02.lc 16:16-16:22
+fixity02.lc 16:16-16:22
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 16:16-16:34
+fixity02.lc 16:16-16:34
     Char
-testdata/language-features/basic-values/fixity02.lc 16:20-16:22
+fixity02.lc 16:20-16:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 16:23-16:27
+fixity02.lc 16:23-16:27
     String
-testdata/language-features/basic-values/fixity02.lc 16:23-16:30
+fixity02.lc 16:23-16:30
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 16:23-16:34
+fixity02.lc 16:23-16:34
     String
-testdata/language-features/basic-values/fixity02.lc 16:28-16:30
+fixity02.lc 16:28-16:30
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 16:31-16:34
+fixity02.lc 16:31-16:34
     Float
-testdata/language-features/basic-values/fixity02.lc 16:38-16:42
+fixity02.lc 16:38-16:42
     Type
-testdata/language-features/basic-values/fixity02.lc 17:1-17:7
+fixity02.lc 17:1-17:7
     String
-testdata/language-features/basic-values/fixity02.lc 17:10-17:12
+fixity02.lc 17:10-17:12
     ()
-testdata/language-features/basic-values/fixity02.lc 17:10-17:15
+fixity02.lc 17:10-17:15
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 17:10-17:19
+fixity02.lc 17:10-17:19
     ()
-testdata/language-features/basic-values/fixity02.lc 17:10-17:22
+fixity02.lc 17:10-17:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 17:10-17:34
+fixity02.lc 17:10-17:34
     String
-testdata/language-features/basic-values/fixity02.lc 17:13-17:15
+fixity02.lc 17:13-17:15
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 17:16-17:19
+fixity02.lc 17:16-17:19
     Char
-testdata/language-features/basic-values/fixity02.lc 17:20-17:22
+fixity02.lc 17:20-17:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 17:23-17:27
+fixity02.lc 17:23-17:27
     String
-testdata/language-features/basic-values/fixity02.lc 17:23-17:30
+fixity02.lc 17:23-17:30
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 17:23-17:34
+fixity02.lc 17:23-17:34
     String
-testdata/language-features/basic-values/fixity02.lc 17:28-17:30
+fixity02.lc 17:28-17:30
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 17:31-17:34
+fixity02.lc 17:31-17:34
     Float
-testdata/language-features/basic-values/fixity02.lc 17:38-17:44
+fixity02.lc 17:38-17:44
     Type
-testdata/language-features/basic-values/fixity02.lc 18:1-18:7
+fixity02.lc 18:1-18:7
     ()
-testdata/language-features/basic-values/fixity02.lc 18:10-18:12
+fixity02.lc 18:10-18:12
     ()
-testdata/language-features/basic-values/fixity02.lc 18:10-18:15
+fixity02.lc 18:10-18:15
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 18:10-18:34
+fixity02.lc 18:10-18:34
     ()
-testdata/language-features/basic-values/fixity02.lc 18:13-18:15
+fixity02.lc 18:13-18:15
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 18:16-18:19
+fixity02.lc 18:16-18:19
     Char
-testdata/language-features/basic-values/fixity02.lc 18:16-18:22
+fixity02.lc 18:16-18:22
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 18:16-18:34
+fixity02.lc 18:16-18:34
     Char
-testdata/language-features/basic-values/fixity02.lc 18:20-18:22
+fixity02.lc 18:20-18:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 18:23-18:27
+fixity02.lc 18:23-18:27
     String
-testdata/language-features/basic-values/fixity02.lc 18:23-18:30
+fixity02.lc 18:23-18:30
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 18:23-18:34
+fixity02.lc 18:23-18:34
     String
-testdata/language-features/basic-values/fixity02.lc 18:28-18:30
+fixity02.lc 18:28-18:30
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 18:31-18:34
+fixity02.lc 18:31-18:34
     Float
-testdata/language-features/basic-values/fixity02.lc 18:38-18:40
+fixity02.lc 18:38-18:40
     Type
-testdata/language-features/basic-values/fixity02.lc 20:1-20:10
+fixity02.lc 20:1-20:10
     Float
-testdata/language-features/basic-values/fixity02.lc 20:13-20:15
+fixity02.lc 20:13-20:15
     ()
-testdata/language-features/basic-values/fixity02.lc 20:13-20:22
+fixity02.lc 20:13-20:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 20:13-20:49
+fixity02.lc 20:13-20:49
     Float
-testdata/language-features/basic-values/fixity02.lc 20:16-20:22
+fixity02.lc 20:16-20:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 20:23-20:26
+fixity02.lc 20:23-20:26
     Char
-testdata/language-features/basic-values/fixity02.lc 20:23-20:33
+fixity02.lc 20:23-20:33
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 20:23-20:49
+fixity02.lc 20:23-20:49
     Float
-testdata/language-features/basic-values/fixity02.lc 20:27-20:33
+fixity02.lc 20:27-20:33
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 20:34-20:38
+fixity02.lc 20:34-20:38
     String
-testdata/language-features/basic-values/fixity02.lc 20:34-20:45
+fixity02.lc 20:34-20:45
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 20:34-20:49
+fixity02.lc 20:34-20:49
     Float
-testdata/language-features/basic-values/fixity02.lc 20:39-20:45
+fixity02.lc 20:39-20:45
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 20:46-20:49
+fixity02.lc 20:46-20:49
     Float
-testdata/language-features/basic-values/fixity02.lc 20:53-20:58
+fixity02.lc 20:53-20:58
     Type
-testdata/language-features/basic-values/fixity02.lc 21:1-21:10
+fixity02.lc 21:1-21:10
     Float
-testdata/language-features/basic-values/fixity02.lc 21:13-21:15
+fixity02.lc 21:13-21:15
     ()
-testdata/language-features/basic-values/fixity02.lc 21:13-21:22
+fixity02.lc 21:13-21:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 21:13-21:49
+fixity02.lc 21:13-21:49
     Float
-testdata/language-features/basic-values/fixity02.lc 21:16-21:22
+fixity02.lc 21:16-21:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 21:23-21:26
+fixity02.lc 21:23-21:26
     Char
-testdata/language-features/basic-values/fixity02.lc 21:23-21:33
+fixity02.lc 21:23-21:33
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 21:23-21:38
+fixity02.lc 21:23-21:38
     Char
-testdata/language-features/basic-values/fixity02.lc 21:23-21:45
+fixity02.lc 21:23-21:45
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 21:23-21:49
+fixity02.lc 21:23-21:49
     Float
-testdata/language-features/basic-values/fixity02.lc 21:27-21:33
+fixity02.lc 21:27-21:33
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 21:34-21:38
+fixity02.lc 21:34-21:38
     String
-testdata/language-features/basic-values/fixity02.lc 21:39-21:45
+fixity02.lc 21:39-21:45
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 21:46-21:49
+fixity02.lc 21:46-21:49
     Float
-testdata/language-features/basic-values/fixity02.lc 21:53-21:58
+fixity02.lc 21:53-21:58
     Type
-testdata/language-features/basic-values/fixity02.lc 22:1-22:10
+fixity02.lc 22:1-22:10
     Float
-testdata/language-features/basic-values/fixity02.lc 22:13-22:15
+fixity02.lc 22:13-22:15
     ()
-testdata/language-features/basic-values/fixity02.lc 22:13-22:22
+fixity02.lc 22:13-22:22
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 22:13-22:26
+fixity02.lc 22:13-22:26
     ()
-testdata/language-features/basic-values/fixity02.lc 22:13-22:33
+fixity02.lc 22:13-22:33
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 22:13-22:49
+fixity02.lc 22:13-22:49
     Float
-testdata/language-features/basic-values/fixity02.lc 22:16-22:22
+fixity02.lc 22:16-22:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 22:23-22:26
+fixity02.lc 22:23-22:26
     Char
-testdata/language-features/basic-values/fixity02.lc 22:27-22:33
+fixity02.lc 22:27-22:33
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 22:34-22:38
+fixity02.lc 22:34-22:38
     String
-testdata/language-features/basic-values/fixity02.lc 22:34-22:45
+fixity02.lc 22:34-22:45
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 22:34-22:49
+fixity02.lc 22:34-22:49
     Float
-testdata/language-features/basic-values/fixity02.lc 22:39-22:45
+fixity02.lc 22:39-22:45
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 22:46-22:49
+fixity02.lc 22:46-22:49
     Float
-testdata/language-features/basic-values/fixity02.lc 22:53-22:58
+fixity02.lc 22:53-22:58
     Type
-testdata/language-features/basic-values/fixity02.lc 23:1-23:10
+fixity02.lc 23:1-23:10
     Float
-testdata/language-features/basic-values/fixity02.lc 23:13-23:15
+fixity02.lc 23:13-23:15
     ()
-testdata/language-features/basic-values/fixity02.lc 23:13-23:22
+fixity02.lc 23:13-23:22
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 23:13-23:38
+fixity02.lc 23:13-23:38
     ()
-testdata/language-features/basic-values/fixity02.lc 23:13-23:45
+fixity02.lc 23:13-23:45
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 23:13-23:49
+fixity02.lc 23:13-23:49
     Float
-testdata/language-features/basic-values/fixity02.lc 23:16-23:22
+fixity02.lc 23:16-23:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 23:23-23:26
+fixity02.lc 23:23-23:26
     Char
-testdata/language-features/basic-values/fixity02.lc 23:23-23:33
+fixity02.lc 23:23-23:33
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 23:23-23:38
+fixity02.lc 23:23-23:38
     Char
-testdata/language-features/basic-values/fixity02.lc 23:27-23:33
+fixity02.lc 23:27-23:33
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 23:34-23:38
+fixity02.lc 23:34-23:38
     String
-testdata/language-features/basic-values/fixity02.lc 23:39-23:45
+fixity02.lc 23:39-23:45
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 23:46-23:49
+fixity02.lc 23:46-23:49
     Float
-testdata/language-features/basic-values/fixity02.lc 23:53-23:58
+fixity02.lc 23:53-23:58
     Type
-testdata/language-features/basic-values/fixity02.lc 24:1-24:10
+fixity02.lc 24:1-24:10
     String
-testdata/language-features/basic-values/fixity02.lc 24:13-24:15
+fixity02.lc 24:13-24:15
     ()
-testdata/language-features/basic-values/fixity02.lc 24:13-24:22
+fixity02.lc 24:13-24:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 24:13-24:49
+fixity02.lc 24:13-24:49
     String
-testdata/language-features/basic-values/fixity02.lc 24:16-24:22
+fixity02.lc 24:16-24:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 24:23-24:26
+fixity02.lc 24:23-24:26
     Char
-testdata/language-features/basic-values/fixity02.lc 24:23-24:33
+fixity02.lc 24:23-24:33
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 24:23-24:49
+fixity02.lc 24:23-24:49
     String
-testdata/language-features/basic-values/fixity02.lc 24:27-24:33
+fixity02.lc 24:27-24:33
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 24:34-24:38
+fixity02.lc 24:34-24:38
     String
-testdata/language-features/basic-values/fixity02.lc 24:34-24:45
+fixity02.lc 24:34-24:45
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 24:34-24:49
+fixity02.lc 24:34-24:49
     String
-testdata/language-features/basic-values/fixity02.lc 24:39-24:45
+fixity02.lc 24:39-24:45
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 24:46-24:49
+fixity02.lc 24:46-24:49
     Float
-testdata/language-features/basic-values/fixity02.lc 24:53-24:59
+fixity02.lc 24:53-24:59
     Type
-testdata/language-features/basic-values/fixity02.lc 25:1-25:10
+fixity02.lc 25:1-25:10
     Char
-testdata/language-features/basic-values/fixity02.lc 25:13-25:15
+fixity02.lc 25:13-25:15
     ()
-testdata/language-features/basic-values/fixity02.lc 25:13-25:22
+fixity02.lc 25:13-25:22
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 25:13-25:49
+fixity02.lc 25:13-25:49
     Char
-testdata/language-features/basic-values/fixity02.lc 25:16-25:22
+fixity02.lc 25:16-25:22
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 25:23-25:26
+fixity02.lc 25:23-25:26
     Char
-testdata/language-features/basic-values/fixity02.lc 25:23-25:33
+fixity02.lc 25:23-25:33
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 25:23-25:49
+fixity02.lc 25:23-25:49
     Char
-testdata/language-features/basic-values/fixity02.lc 25:27-25:33
+fixity02.lc 25:27-25:33
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 25:34-25:38
+fixity02.lc 25:34-25:38
     String
-testdata/language-features/basic-values/fixity02.lc 25:34-25:45
+fixity02.lc 25:34-25:45
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 25:34-25:49
+fixity02.lc 25:34-25:49
     String
-testdata/language-features/basic-values/fixity02.lc 25:39-25:45
+fixity02.lc 25:39-25:45
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 25:46-25:49
+fixity02.lc 25:46-25:49
     Float
-testdata/language-features/basic-values/fixity02.lc 25:53-25:57
+fixity02.lc 25:53-25:57
     Type
-testdata/language-features/basic-values/fixity02.lc 26:1-26:10
+fixity02.lc 26:1-26:10
     String
-testdata/language-features/basic-values/fixity02.lc 26:13-26:15
+fixity02.lc 26:13-26:15
     ()
-testdata/language-features/basic-values/fixity02.lc 26:13-26:22
+fixity02.lc 26:13-26:22
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 26:13-26:26
+fixity02.lc 26:13-26:26
     ()
-testdata/language-features/basic-values/fixity02.lc 26:13-26:33
+fixity02.lc 26:13-26:33
     _a -> _a
-testdata/language-features/basic-values/fixity02.lc 26:13-26:49
+fixity02.lc 26:13-26:49
     String
-testdata/language-features/basic-values/fixity02.lc 26:16-26:22
+fixity02.lc 26:16-26:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 26:23-26:26
+fixity02.lc 26:23-26:26
     Char
-testdata/language-features/basic-values/fixity02.lc 26:27-26:33
+fixity02.lc 26:27-26:33
     forall a b . a -> b -> b
-testdata/language-features/basic-values/fixity02.lc 26:34-26:38
+fixity02.lc 26:34-26:38
     String
-testdata/language-features/basic-values/fixity02.lc 26:34-26:45
+fixity02.lc 26:34-26:45
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 26:34-26:49
+fixity02.lc 26:34-26:49
     String
-testdata/language-features/basic-values/fixity02.lc 26:39-26:45
+fixity02.lc 26:39-26:45
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 26:46-26:49
+fixity02.lc 26:46-26:49
     Float
-testdata/language-features/basic-values/fixity02.lc 26:53-26:59
+fixity02.lc 26:53-26:59
     Type
-testdata/language-features/basic-values/fixity02.lc 27:1-27:10
+fixity02.lc 27:1-27:10
     ()
-testdata/language-features/basic-values/fixity02.lc 27:13-27:15
+fixity02.lc 27:13-27:15
     ()
-testdata/language-features/basic-values/fixity02.lc 27:13-27:22
+fixity02.lc 27:13-27:22
     _a -> ()
-testdata/language-features/basic-values/fixity02.lc 27:13-27:49
+fixity02.lc 27:13-27:49
     ()
-testdata/language-features/basic-values/fixity02.lc 27:16-27:22
+fixity02.lc 27:16-27:22
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 27:23-27:26
+fixity02.lc 27:23-27:26
     Char
-testdata/language-features/basic-values/fixity02.lc 27:23-27:33
+fixity02.lc 27:23-27:33
     _a -> Char
-testdata/language-features/basic-values/fixity02.lc 27:23-27:49
+fixity02.lc 27:23-27:49
     Char
-testdata/language-features/basic-values/fixity02.lc 27:27-27:33
+fixity02.lc 27:27-27:33
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 27:34-27:38
+fixity02.lc 27:34-27:38
     String
-testdata/language-features/basic-values/fixity02.lc 27:34-27:45
+fixity02.lc 27:34-27:45
     _a -> String
-testdata/language-features/basic-values/fixity02.lc 27:34-27:49
+fixity02.lc 27:34-27:49
     String
-testdata/language-features/basic-values/fixity02.lc 27:39-27:45
+fixity02.lc 27:39-27:45
     forall a b . a -> b -> a
-testdata/language-features/basic-values/fixity02.lc 27:46-27:49
+fixity02.lc 27:46-27:49
     Float
-testdata/language-features/basic-values/fixity02.lc 27:53-27:55
+fixity02.lc 27:53-27:55
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/if01.out b/testdata/language-features/basic-values/if01.out
index 82fdb2ff..2af98d71 100644
--- a/testdata/language-features/basic-values/if01.out
+++ b/testdata/language-features/basic-values/if01.out
@@ -10,27 +10,27 @@ value1 = _rhs ()
 value2 :: Float
 value2 = _rhs 2.0
 ------------ tooltips
-testdata/language-features/basic-values/if01.lc 1:1-1:7
+if01.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/if01.lc 1:10-1:33
+if01.lc 1:10-1:33
     ()
-testdata/language-features/basic-values/if01.lc 1:13-1:17
+if01.lc 1:13-1:17
     Bool
-testdata/language-features/basic-values/if01.lc 1:13-1:25
+if01.lc 1:13-1:25
     () -> ()
-testdata/language-features/basic-values/if01.lc 1:23-1:25
+if01.lc 1:23-1:25
     ()
-testdata/language-features/basic-values/if01.lc 1:31-1:33
+if01.lc 1:31-1:33
     ()
-testdata/language-features/basic-values/if01.lc 2:1-2:7
+if01.lc 2:1-2:7
     Float
-testdata/language-features/basic-values/if01.lc 2:10-2:36
+if01.lc 2:10-2:36
     Float
-testdata/language-features/basic-values/if01.lc 2:13-2:18
+if01.lc 2:13-2:18
     Bool
-testdata/language-features/basic-values/if01.lc 2:13-2:27
+if01.lc 2:13-2:27
     Float -> Float
-testdata/language-features/basic-values/if01.lc 2:24-2:27
+if01.lc 2:24-2:27
     Float
-testdata/language-features/basic-values/if01.lc 2:33-2:36
+if01.lc 2:33-2:36
     Float
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index 69873d2d..a5e1f6f9 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.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
   ()
-in testdata/language-features/basic-values/if03.reject.lc:1:13:
+in if03.reject.lc:1:13:
 value1 = if () then () else ()
             ^^
 ------------ 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
   ()
-in testdata/language-features/basic-values/if03.reject.lc:1:13:
+in if03.reject.lc:1:13:
 value1 = if () then () else ()
             ^^
 ------------ tooltips
-testdata/language-features/basic-values/if03.reject.lc 1:13-1:15
+if03.reject.lc 1:13-1:15
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out
index 8bfc6d13..2a6b7bb5 100644
--- a/testdata/language-features/basic-values/if04.reject.out
+++ b/testdata/language-features/basic-values/if04.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
   ()
 with
   Char
-in testdata/language-features/basic-values/if04.reject.lc:1:31:
+in if04.reject.lc:1:31:
 value1 = if True then () else '_'
                               ^^^
 ------------ trace
@@ -10,15 +10,15 @@ value1 = if True then () else '_'
   ()
 with
   Char
-in testdata/language-features/basic-values/if04.reject.lc:1:31:
+in if04.reject.lc:1:31:
 value1 = if True then () else '_'
                               ^^^
 ------------ tooltips
-testdata/language-features/basic-values/if04.reject.lc 1:13-1:17
+if04.reject.lc 1:13-1:17
     Bool
-testdata/language-features/basic-values/if04.reject.lc 1:13-1:25
+if04.reject.lc 1:13-1:25
     () -> ()
-testdata/language-features/basic-values/if04.reject.lc 1:23-1:25
+if04.reject.lc 1:23-1:25
     ()
-testdata/language-features/basic-values/if04.reject.lc 1:31-1:34
+if04.reject.lc 1:31-1:34
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation01.out b/testdata/language-features/basic-values/indentation01.out
index f1d98545..d6efa98a 100644
--- a/testdata/language-features/basic-values/indentation01.out
+++ b/testdata/language-features/basic-values/indentation01.out
@@ -10,11 +10,11 @@ tuple1 = _rhs ()
 tuple2 :: ()
 tuple2 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/indentation01.lc 1:1-1:7
+indentation01.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/indentation01.lc 1:10-1:12
+indentation01.lc 1:10-1:12
     ()
-testdata/language-features/basic-values/indentation01.lc 2:1-2:7
+indentation01.lc 2:1-2:7
     ()
-testdata/language-features/basic-values/indentation01.lc 2:10-2:12
+indentation01.lc 2:10-2:12
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation02.out b/testdata/language-features/basic-values/indentation02.out
index 0b686d97..e90c05ad 100644
--- a/testdata/language-features/basic-values/indentation02.out
+++ b/testdata/language-features/basic-values/indentation02.out
@@ -10,11 +10,11 @@ tuple1 = _rhs ()
 tuple2 :: ()
 tuple2 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/indentation02.lc 1:3-1:9
+indentation02.lc 1:3-1:9
     ()
-testdata/language-features/basic-values/indentation02.lc 1:12-1:14
+indentation02.lc 1:12-1:14
     ()
-testdata/language-features/basic-values/indentation02.lc 2:3-2:9
+indentation02.lc 2:3-2:9
     ()
-testdata/language-features/basic-values/indentation02.lc 2:12-2:14
+indentation02.lc 2:12-2:14
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix01.out b/testdata/language-features/basic-values/infix01.out
index 55d5dad5..a54cfa5c 100644
--- a/testdata/language-features/basic-values/infix01.out
+++ b/testdata/language-features/basic-values/infix01.out
@@ -10,19 +10,19 @@ fun = \a b _ _ -> _rhs ()
 value :: forall a b . a -> b -> ()
 value = \a b _ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/infix01.lc 1:1-1:4
+infix01.lc 1:1-1:4
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/infix01.lc 1:11-1:13
+infix01.lc 1:11-1:13
     ()
-testdata/language-features/basic-values/infix01.lc 3:1-3:6
+infix01.lc 3:1-3:6
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/infix01.lc 3:13-3:14
+infix01.lc 3:13-3:14
     _f
-testdata/language-features/basic-values/infix01.lc 3:13-3:20
+infix01.lc 3:13-3:20
     _a -> ()
-testdata/language-features/basic-values/infix01.lc 3:13-3:22
+infix01.lc 3:13-3:22
     ()
-testdata/language-features/basic-values/infix01.lc 3:15-3:20
+infix01.lc 3:15-3:20
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/infix01.lc 3:21-3:22
+infix01.lc 3:21-3:22
     _c
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix02.out b/testdata/language-features/basic-values/infix02.out
index c32a0ce7..60daa154 100644
--- a/testdata/language-features/basic-values/infix02.out
+++ b/testdata/language-features/basic-values/infix02.out
@@ -10,19 +10,19 @@ fun = \a b c _ _ _ -> _rhs ()
 value :: forall a b c . a -> b -> c -> ()
 value = \a b c d e -> _rhs (fun d e)
 ------------ tooltips
-testdata/language-features/basic-values/infix02.lc 1:1-1:4
+infix02.lc 1:1-1:4
     forall a b c . a -> b -> c -> ()
-testdata/language-features/basic-values/infix02.lc 1:13-1:15
+infix02.lc 1:13-1:15
     ()
-testdata/language-features/basic-values/infix02.lc 3:1-3:6
+infix02.lc 3:1-3:6
     forall a b c . a -> b -> c -> ()
-testdata/language-features/basic-values/infix02.lc 3:13-3:14
+infix02.lc 3:13-3:14
     _g
-testdata/language-features/basic-values/infix02.lc 3:13-3:20
+infix02.lc 3:13-3:20
     _b -> _a -> ()
-testdata/language-features/basic-values/infix02.lc 3:13-3:22
+infix02.lc 3:13-3:22
     _a -> ()
-testdata/language-features/basic-values/infix02.lc 3:15-3:20
+infix02.lc 3:15-3:20
     forall a b c . a -> b -> c -> ()
-testdata/language-features/basic-values/infix02.lc 3:21-3:22
+infix02.lc 3:21-3:22
     _d
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index 9d3aa812..6d105103 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -33,49 +33,49 @@ d3 = \a b -> _rhs (D3 a b)
 match'D :: forall (a :: Type -> Type) -> a D -> forall b -> a b -> a b
 match'D = \a b c d -> <<type case function>>
 ------------ tooltips
-testdata/language-features/basic-values/infix03.lc 1:6-1:7
+infix03.lc 1:6-1:7
     Type | Type | Type | Type | Type | Type | Type | Type
-testdata/language-features/basic-values/infix03.lc 1:6-1:18
+infix03.lc 1:6-1:18
     Type
-testdata/language-features/basic-values/infix03.lc 1:6-2:12
+infix03.lc 1:6-2:12
     Type | Type
-testdata/language-features/basic-values/infix03.lc 1:6-2:21
+infix03.lc 1:6-2:21
     Type | Type
-testdata/language-features/basic-values/infix03.lc 1:10-1:12
+infix03.lc 1:10-1:12
     () -> () -> D | D | Type | Type | Type
-testdata/language-features/basic-values/infix03.lc 1:13-1:15
+infix03.lc 1:13-1:15
     Type
-testdata/language-features/basic-values/infix03.lc 1:16-1:18
+infix03.lc 1:16-1:18
     Type
-testdata/language-features/basic-values/infix03.lc 2:10-2:12
+infix03.lc 2:10-2:12
     () -> () -> () -> D | D | Type | Type | Type | Type
-testdata/language-features/basic-values/infix03.lc 2:13-2:15
+infix03.lc 2:13-2:15
     Type
-testdata/language-features/basic-values/infix03.lc 2:16-2:18
+infix03.lc 2:16-2:18
     Type
-testdata/language-features/basic-values/infix03.lc 2:19-2:21
+infix03.lc 2:19-2:21
     Type
-testdata/language-features/basic-values/infix03.lc 4:1-4:3
+infix03.lc 4:1-4:3
     () -> () -> D
-testdata/language-features/basic-values/infix03.lc 4:10-4:11
+infix03.lc 4:10-4:11
     _d
-testdata/language-features/basic-values/infix03.lc 4:10-4:16
+infix03.lc 4:10-4:16
     () -> D
-testdata/language-features/basic-values/infix03.lc 4:10-4:18
+infix03.lc 4:10-4:18
     D
-testdata/language-features/basic-values/infix03.lc 4:12-4:16
+infix03.lc 4:12-4:16
     () -> () -> D
-testdata/language-features/basic-values/infix03.lc 4:17-4:18
+infix03.lc 4:17-4:18
     _b
-testdata/language-features/basic-values/infix03.lc 6:1-6:3
+infix03.lc 6:1-6:3
     () -> () -> () -> D
-testdata/language-features/basic-values/infix03.lc 6:10-6:11
+infix03.lc 6:10-6:11
     _d
-testdata/language-features/basic-values/infix03.lc 6:10-6:16
+infix03.lc 6:10-6:16
     () -> () -> D
-testdata/language-features/basic-values/infix03.lc 6:10-6:18
+infix03.lc 6:10-6:18
     () -> D
-testdata/language-features/basic-values/infix03.lc 6:12-6:16
+infix03.lc 6:12-6:16
     () -> () -> () -> D
-testdata/language-features/basic-values/infix03.lc 6:17-6:18
+infix03.lc 6:17-6:18
     _b
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/lambda01.out b/testdata/language-features/basic-values/lambda01.out
index 1476c47f..0a959710 100644
--- a/testdata/language-features/basic-values/lambda01.out
+++ b/testdata/language-features/basic-values/lambda01.out
@@ -27,19 +27,19 @@ fun4
   :: forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> ()
 fun4 = \a b c d e f g h i -> _rhs \_ _ _ _ _ _ _ _ _ -> ()
 ------------ tooltips
-testdata/language-features/basic-values/lambda01.lc 1:1-1:5
+lambda01.lc 1:1-1:5
     forall a . a -> ()
-testdata/language-features/basic-values/lambda01.lc 1:14-1:16
+lambda01.lc 1:14-1:16
     ()
-testdata/language-features/basic-values/lambda01.lc 2:1-2:5
+lambda01.lc 2:1-2:5
     forall a . a -> ()
-testdata/language-features/basic-values/lambda01.lc 2:15-2:17
+lambda01.lc 2:15-2:17
     ()
-testdata/language-features/basic-values/lambda01.lc 3:1-3:5
+lambda01.lc 3:1-3:5
     forall a . a -> ()
-testdata/language-features/basic-values/lambda01.lc 3:13-3:15
+lambda01.lc 3:13-3:15
     ()
-testdata/language-features/basic-values/lambda01.lc 4:1-4:5
+lambda01.lc 4:1-4:5
     forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> ()
-testdata/language-features/basic-values/lambda01.lc 5:28-5:30
+lambda01.lc 5:28-5:30
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out
index 50af2ae5..a50ed0d0 100644
--- a/testdata/language-features/basic-values/lambda03.out
+++ b/testdata/language-features/basic-values/lambda03.out
@@ -10,11 +10,11 @@ fun1 = \a b c -> _rhs \_ d _ -> d
 fun2 :: forall a b c d . a -> b -> c -> d -> a
 fun2 = \a b c d e -> _rhs \_ _ _ -> e
 ------------ tooltips
-testdata/language-features/basic-values/lambda03.lc 1:1-1:5
+lambda03.lc 1:1-1:5
     forall a b c . a -> b -> c -> b
-testdata/language-features/basic-values/lambda03.lc 1:22-1:23
+lambda03.lc 1:22-1:23
     _d
-testdata/language-features/basic-values/lambda03.lc 2:1-2:5
+lambda03.lc 2:1-2:5
     forall a b c d . a -> b -> c -> d -> a
-testdata/language-features/basic-values/lambda03.lc 2:25-2:26
+lambda03.lc 2:25-2:26
     _h
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out
index bd59a558..1d5684fc 100644
--- a/testdata/language-features/basic-values/let01.out
+++ b/testdata/language-features/basic-values/let01.out
@@ -25,37 +25,37 @@ value4 = \a b -> _rhs (fromInt a b 1)
 value5 :: forall a . Num a => a
 value5 = \a b -> _rhs (fromInt a b 1)
 ------------ tooltips
-testdata/language-features/basic-values/let01.lc 1:1-1:7
+let01.lc 1:1-1:7
     forall a . Num a => a
-testdata/language-features/basic-values/let01.lc 1:18-1:19
+let01.lc 1:18-1:19
     _b
-testdata/language-features/basic-values/let01.lc 1:23-1:24
+let01.lc 1:23-1:24
     _b
-testdata/language-features/basic-values/let01.lc 3:1-3:7
+let01.lc 3:1-3:7
     forall a . Num a => a
-testdata/language-features/basic-values/let01.lc 4:11-4:12
+let01.lc 4:11-4:12
     _b
-testdata/language-features/basic-values/let01.lc 5:6-5:7
+let01.lc 5:6-5:7
     _b
-testdata/language-features/basic-values/let01.lc 7:1-7:7
+let01.lc 7:1-7:7
     forall a . Num a => a
-testdata/language-features/basic-values/let01.lc 8:11-8:12
+let01.lc 8:11-8:12
     _b
-testdata/language-features/basic-values/let01.lc 9:11-9:14
+let01.lc 9:11-9:14
     Char
-testdata/language-features/basic-values/let01.lc 10:6-10:7
+let01.lc 10:6-10:7
     _b
-testdata/language-features/basic-values/let01.lc 12:1-12:7
+let01.lc 12:1-12:7
     forall a . Num a => a
-testdata/language-features/basic-values/let01.lc 12:18-12:19
+let01.lc 12:18-12:19
     _b
-testdata/language-features/basic-values/let01.lc 13:13-13:14
+let01.lc 13:13-13:14
     _b
-testdata/language-features/basic-values/let01.lc 15:1-15:7
+let01.lc 15:1-15:7
     forall a . Num a => a
-testdata/language-features/basic-values/let01.lc 15:18-15:19
+let01.lc 15:18-15:19
     _b
-testdata/language-features/basic-values/let01.lc 16:18-16:19
+let01.lc 16:18-16:19
     _b
-testdata/language-features/basic-values/let01.lc 17:13-17:14
+let01.lc 17:13-17:14
     _b
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/let02.out b/testdata/language-features/basic-values/let02.out
index 574a8d36..7ac6a6d8 100644
--- a/testdata/language-features/basic-values/let02.out
+++ b/testdata/language-features/basic-values/let02.out
@@ -11,21 +11,21 @@ value
 value :: ()
 value = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/let02.lc 1:1-1:6
+let02.lc 1:1-1:6
     ()
-testdata/language-features/basic-values/let02.lc 2:11-2:13
+let02.lc 2:11-2:13
     ()
-testdata/language-features/basic-values/let02.lc 3:19-3:22
+let02.lc 3:19-3:22
     Char
-testdata/language-features/basic-values/let02.lc 3:26-3:28
+let02.lc 3:26-3:28
     ()
-testdata/language-features/basic-values/let02.lc 5:17-5:19
+let02.lc 5:17-5:19
     ()
-testdata/language-features/basic-values/let02.lc 6:17-6:18
+let02.lc 6:17-6:18
     _b
-testdata/language-features/basic-values/let02.lc 7:17-7:24
+let02.lc 7:17-7:24
     String
-testdata/language-features/basic-values/let02.lc 8:12-8:15
+let02.lc 8:12-8:15
     Char
-testdata/language-features/basic-values/let02.lc 9:6-9:8
+let02.lc 9:6-9:8
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out
index 4eca17da..d7964d5e 100644
--- a/testdata/language-features/basic-values/literal01.out
+++ b/testdata/language-features/basic-values/literal01.out
@@ -40,35 +40,35 @@ stringValue1 = _rhs "Hello World"
 stringValue2 :: String
 stringValue2 = _rhs "\nHello World\tagain!\r\n"
 ------------ tooltips
-testdata/language-features/basic-values/literal01.lc 1:1-1:10
+literal01.lc 1:1-1:10
     forall a . Num a => a
-testdata/language-features/basic-values/literal01.lc 1:13-1:14
+literal01.lc 1:13-1:14
     _b
-testdata/language-features/basic-values/literal01.lc 2:1-2:10
+literal01.lc 2:1-2:10
     forall a . Num a => a
-testdata/language-features/basic-values/literal01.lc 2:13-2:14
+literal01.lc 2:13-2:14
     _b
-testdata/language-features/basic-values/literal01.lc 3:1-3:10
+literal01.lc 3:1-3:10
     forall a . Num a => a
-testdata/language-features/basic-values/literal01.lc 3:13-3:18
+literal01.lc 3:13-3:18
     _b
-testdata/language-features/basic-values/literal01.lc 5:1-5:12
+literal01.lc 5:1-5:12
     Float
-testdata/language-features/basic-values/literal01.lc 5:15-5:18
+literal01.lc 5:15-5:18
     Float
-testdata/language-features/basic-values/literal01.lc 6:1-6:12
+literal01.lc 6:1-6:12
     Float
-testdata/language-features/basic-values/literal01.lc 6:15-6:22
+literal01.lc 6:15-6:22
     Float
-testdata/language-features/basic-values/literal01.lc 8:1-8:10
+literal01.lc 8:1-8:10
     Char
-testdata/language-features/basic-values/literal01.lc 8:13-8:16
+literal01.lc 8:13-8:16
     Char
-testdata/language-features/basic-values/literal01.lc 10:1-10:13
+literal01.lc 10:1-10:13
     String
-testdata/language-features/basic-values/literal01.lc 10:16-10:29
+literal01.lc 10:16-10:29
     String
-testdata/language-features/basic-values/literal01.lc 11:1-11:13
+literal01.lc 11:1-11:13
     String
-testdata/language-features/basic-values/literal01.lc 11:16-11:45
+literal01.lc 11:16-11:45
     String
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator01.out b/testdata/language-features/basic-values/operator01.out
index 817d1b5f..0a4d4546 100644
--- a/testdata/language-features/basic-values/operator01.out
+++ b/testdata/language-features/basic-values/operator01.out
@@ -20,19 +20,19 @@ $$$ = \a b _ _ -> _rhs ()
 $$$# :: forall a b . a -> b -> ()
 $$$# = \a b _ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/operator01.lc 1:3-1:6
+operator01.lc 1:3-1:6
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator01.lc 1:11-1:13
+operator01.lc 1:11-1:13
     ()
-testdata/language-features/basic-values/operator01.lc 3:3-3:6
+operator01.lc 3:3-3:6
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator01.lc 3:8-3:10
+operator01.lc 3:8-3:10
     ()
-testdata/language-features/basic-values/operator01.lc 5:3-5:7
+operator01.lc 5:3-5:7
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator01.lc 6:3-6:5
+operator01.lc 6:3-6:5
     ()
-testdata/language-features/basic-values/operator01.lc 8:3-8:6
+operator01.lc 8:3-8:6
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator01.lc 8:11-8:13
+operator01.lc 8:11-8:13
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out
index 38f5992c..d45a726c 100644
--- a/testdata/language-features/basic-values/operator02.reject.out
+++ b/testdata/language-features/basic-values/operator02.reject.out
@@ -1,29 +1,29 @@
-already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
+already defined #$# at operator02.reject.lc:3:3:
 a #$# b = ()
   ^^^
-and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
+and at operator02.reject.lc:1:3:
 a #$# b = ()
   ^^^
 ------------ trace
 (#$#) :: forall a b . a -> b -> ()
 fun :: forall a . a -> ()
 (#$#) :: forall a b . a -> b -> ()
-!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
+!already defined #$# at operator02.reject.lc:3:3:
 a #$# b = ()
   ^^^
-and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
+and at operator02.reject.lc:1:3:
 a #$# b = ()
   ^^^
 ------------ tooltips
-testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6
+operator02.reject.lc 1:3-1:6
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13
+operator02.reject.lc 1:11-1:13
     ()
-testdata/language-features/basic-values/operator02.reject.lc 2:1-2:4
+operator02.reject.lc 2:1-2:4
     forall a . a -> ()
-testdata/language-features/basic-values/operator02.reject.lc 2:9-2:11
+operator02.reject.lc 2:9-2:11
     ()
-testdata/language-features/basic-values/operator02.reject.lc 3:3-3:6
+operator02.reject.lc 3:3-3:6
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator02.reject.lc 3:11-3:13
+operator02.reject.lc 3:11-3:13
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator05.out b/testdata/language-features/basic-values/operator05.out
index c8f2cbc8..cc714c3a 100644
--- a/testdata/language-features/basic-values/operator05.out
+++ b/testdata/language-features/basic-values/operator05.out
@@ -6,17 +6,17 @@ value1
 value1 :: ()
 value1 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/operator05.lc 1:1-1:7
+operator05.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/operator05.lc 1:24-1:26
+operator05.lc 1:24-1:26
     ()
-testdata/language-features/basic-values/operator05.lc 2:13-2:15
+operator05.lc 2:13-2:15
     ()
-testdata/language-features/basic-values/operator05.lc 2:13-2:19
+operator05.lc 2:13-2:19
     _a -> ()
-testdata/language-features/basic-values/operator05.lc 2:13-2:22
+operator05.lc 2:13-2:22
     ()
-testdata/language-features/basic-values/operator05.lc 2:16-2:19
+operator05.lc 2:16-2:19
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator05.lc 2:20-2:22
+operator05.lc 2:20-2:22
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator06.out b/testdata/language-features/basic-values/operator06.out
index 84f75660..de7def09 100644
--- a/testdata/language-features/basic-values/operator06.out
+++ b/testdata/language-features/basic-values/operator06.out
@@ -6,17 +6,17 @@ value1
 value1 :: ()
 value1 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/operator06.lc 1:1-1:7
+operator06.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/operator06.lc 1:10-1:12
+operator06.lc 1:10-1:12
     ()
-testdata/language-features/basic-values/operator06.lc 1:10-1:16
+operator06.lc 1:10-1:16
     _a -> ()
-testdata/language-features/basic-values/operator06.lc 1:10-1:19
+operator06.lc 1:10-1:19
     ()
-testdata/language-features/basic-values/operator06.lc 1:13-1:16
+operator06.lc 1:13-1:16
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/operator06.lc 1:17-1:19
+operator06.lc 1:17-1:19
     ()
-testdata/language-features/basic-values/operator06.lc 2:19-2:21
+operator06.lc 2:19-2:21
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator07.reject.out b/testdata/language-features/basic-values/operator07.reject.out
index bc594c9e..c2452fc4 100644
--- a/testdata/language-features/basic-values/operator07.reject.out
+++ b/testdata/language-features/basic-values/operator07.reject.out
@@ -1,7 +1,7 @@
 Operator precedences don't match:
-infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11:
+infix 5 at operator07.reject.lc:11:11:
 main = () @&> () <@& ()
           ^^^
-infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:
+infixl 5 at operator07.reject.lc:11:18:
 main = () @&> () <@& ()
-                 ^^^
+                 ^^^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator08.reject.out b/testdata/language-features/basic-values/operator08.reject.out
index eb50a28a..85b9a762 100644
--- a/testdata/language-features/basic-values/operator08.reject.out
+++ b/testdata/language-features/basic-values/operator08.reject.out
@@ -1,7 +1,7 @@
 Operator precedences don't match:
-infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6:
+infix 5 at operator08.reject.lc:10:6:
 x = (@&> () <@& ())
      ^^^
-infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:
+infixl 5 at operator08.reject.lc:10:13:
 x = (@&> () <@& ())
-            ^^^
+            ^^^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out
index e0204f0e..8f8e4dd2 100644
--- a/testdata/language-features/basic-values/redefine01.reject.out
+++ b/testdata/language-features/basic-values/redefine01.reject.out
@@ -1,29 +1,29 @@
-already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
+already defined unit at redefine01.reject.lc:3:1:
 unit = ()
 ^^^^
-and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
+and at redefine01.reject.lc:1:1:
 unit = ()
 ^^^^
 ------------ trace
 unit :: ()
 tuple :: ()
 unit :: ()
-!already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
+!already defined unit at redefine01.reject.lc:3:1:
 unit = ()
 ^^^^
-and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
+and at redefine01.reject.lc:1:1:
 unit = ()
 ^^^^
 ------------ tooltips
-testdata/language-features/basic-values/redefine01.reject.lc 1:1-1:5
+redefine01.reject.lc 1:1-1:5
     ()
-testdata/language-features/basic-values/redefine01.reject.lc 1:8-1:10
+redefine01.reject.lc 1:8-1:10
     ()
-testdata/language-features/basic-values/redefine01.reject.lc 2:1-2:6
+redefine01.reject.lc 2:1-2:6
     ()
-testdata/language-features/basic-values/redefine01.reject.lc 2:9-2:11
+redefine01.reject.lc 2:9-2:11
     ()
-testdata/language-features/basic-values/redefine01.reject.lc 3:1-3:5
+redefine01.reject.lc 3:1-3:5
     ()
-testdata/language-features/basic-values/redefine01.reject.lc 3:8-3:10
+redefine01.reject.lc 3:8-3:10
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine02.reject.out b/testdata/language-features/basic-values/redefine02.reject.out
index 4f5eede0..2d75ac18 100644
--- a/testdata/language-features/basic-values/redefine02.reject.out
+++ b/testdata/language-features/basic-values/redefine02.reject.out
@@ -1,9 +1,9 @@
 testdata/language-features/basic-values/redefine02.reject.lc:3:8:
 expecting expression
 redefined x:
-testdata/language-features/basic-values/redefine02.reject.lc:1:12:
+redefine02.reject.lc:1:12:
 unit = let x = ()
            ^
-testdata/language-features/basic-values/redefine02.reject.lc:2:12:
+redefine02.reject.lc:2:12:
            x = ()
-           ^
+           ^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine03.reject.out b/testdata/language-features/basic-values/redefine03.reject.out
index 5973ae17..6cae5486 100644
--- a/testdata/language-features/basic-values/redefine03.reject.out
+++ b/testdata/language-features/basic-values/redefine03.reject.out
@@ -1,8 +1,8 @@
 testdata/language-features/basic-values/redefine03.reject.lc:4:1:
 redefined x:
-testdata/language-features/basic-values/redefine03.reject.lc:2:9:
+redefine03.reject.lc:2:9:
   where x = ()
         ^
-testdata/language-features/basic-values/redefine03.reject.lc:3:9:
+redefine03.reject.lc:3:9:
         x = ()
-        ^
+        ^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing01.out b/testdata/language-features/basic-values/shadowing01.out
index 502ad96f..3d67cf8e 100644
--- a/testdata/language-features/basic-values/shadowing01.out
+++ b/testdata/language-features/basic-values/shadowing01.out
@@ -16,25 +16,25 @@ value
 value :: Char
 value = _rhs '7'
 ------------ tooltips
-testdata/language-features/basic-values/shadowing01.lc 1:1-1:6
+shadowing01.lc 1:1-1:6
     Char
-testdata/language-features/basic-values/shadowing01.lc 2:11-2:14
+shadowing01.lc 2:11-2:14
     Char
-testdata/language-features/basic-values/shadowing01.lc 3:11-3:18
+shadowing01.lc 3:11-3:18
     String
-testdata/language-features/basic-values/shadowing01.lc 5:17-5:18
+shadowing01.lc 5:17-5:18
     _b
-testdata/language-features/basic-values/shadowing01.lc 6:17-6:21
+shadowing01.lc 6:17-6:21
     Float
-testdata/language-features/basic-values/shadowing01.lc 7:25-7:27
+shadowing01.lc 7:25-7:27
     ()
-testdata/language-features/basic-values/shadowing01.lc 8:25-8:28
+shadowing01.lc 8:25-8:28
     Char
-testdata/language-features/basic-values/shadowing01.lc 9:25-9:29
+shadowing01.lc 9:25-9:29
     Float
-testdata/language-features/basic-values/shadowing01.lc 10:20-10:27
+shadowing01.lc 10:20-10:27
     String
-testdata/language-features/basic-values/shadowing01.lc 11:14-11:16
+shadowing01.lc 11:14-11:16
     ()
-testdata/language-features/basic-values/shadowing01.lc 12:6-12:9
+shadowing01.lc 12:6-12:9
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out
index aa0b9af2..0149e67b 100644
--- a/testdata/language-features/basic-values/shadowing02.out
+++ b/testdata/language-features/basic-values/shadowing02.out
@@ -27,37 +27,37 @@ value2 = _rhs '7'
 world :: String
 world = _rhs "world"
 ------------ tooltips
-testdata/language-features/basic-values/shadowing02.lc 1:1-1:2
+shadowing02.lc 1:1-1:2
     forall a . Num a => a
-testdata/language-features/basic-values/shadowing02.lc 1:5-1:6
+shadowing02.lc 1:5-1:6
     _b
-testdata/language-features/basic-values/shadowing02.lc 2:1-2:6
+shadowing02.lc 2:1-2:6
     String
-testdata/language-features/basic-values/shadowing02.lc 2:9-2:16
+shadowing02.lc 2:9-2:16
     String
-testdata/language-features/basic-values/shadowing02.lc 3:1-3:7
+shadowing02.lc 3:1-3:7
     Char
-testdata/language-features/basic-values/shadowing02.lc 4:11-4:14
+shadowing02.lc 4:11-4:14
     Char
-testdata/language-features/basic-values/shadowing02.lc 5:11-5:18
+shadowing02.lc 5:11-5:18
     String
-testdata/language-features/basic-values/shadowing02.lc 6:11-6:14
+shadowing02.lc 6:11-6:14
     _b
-testdata/language-features/basic-values/shadowing02.lc 8:17-8:18
+shadowing02.lc 8:17-8:18
     _b
-testdata/language-features/basic-values/shadowing02.lc 9:17-9:21
+shadowing02.lc 9:17-9:21
     Float
-testdata/language-features/basic-values/shadowing02.lc 10:25-10:27
+shadowing02.lc 10:25-10:27
     ()
-testdata/language-features/basic-values/shadowing02.lc 11:25-11:28
+shadowing02.lc 11:25-11:28
     Char
-testdata/language-features/basic-values/shadowing02.lc 12:25-12:29
+shadowing02.lc 12:25-12:29
     Float
-testdata/language-features/basic-values/shadowing02.lc 13:25-13:26
+shadowing02.lc 13:25-13:26
     forall a . Num a => a
-testdata/language-features/basic-values/shadowing02.lc 14:20-14:25
+shadowing02.lc 14:20-14:25
     String
-testdata/language-features/basic-values/shadowing02.lc 15:14-15:16
+shadowing02.lc 15:14-15:16
     ()
-testdata/language-features/basic-values/shadowing02.lc 16:6-16:9
+shadowing02.lc 16:6-16:9
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing03.out b/testdata/language-features/basic-values/shadowing03.out
index cb7d1050..1fe98417 100644
--- a/testdata/language-features/basic-values/shadowing03.out
+++ b/testdata/language-features/basic-values/shadowing03.out
@@ -5,7 +5,7 @@ x = _lhs x \(_ :: _) (_ :: _) -> _rhs ()
 x :: forall a b . a -> b -> ()
 x = \a b _ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/shadowing03.lc 1:1-1:2
+shadowing03.lc 1:1-1:2
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/shadowing03.lc 1:9-1:11
+shadowing03.lc 1:9-1:11
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing04.out b/testdata/language-features/basic-values/shadowing04.out
index 042c221d..1c371cea 100644
--- a/testdata/language-features/basic-values/shadowing04.out
+++ b/testdata/language-features/basic-values/shadowing04.out
@@ -5,7 +5,7 @@ __ = _lhs __ \(_ :: _) (_ :: _) -> _rhs ()
 __ :: forall a b . a -> b -> ()
 __ = \a b _ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/shadowing04.lc 1:1-1:3
+shadowing04.lc 1:1-1:3
     forall a b . a -> b -> ()
-testdata/language-features/basic-values/shadowing04.lc 1:11-1:13
+shadowing04.lc 1:11-1:13
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/tuple01.out b/testdata/language-features/basic-values/tuple01.out
index b3a8a352..ef606dab 100644
--- a/testdata/language-features/basic-values/tuple01.out
+++ b/testdata/language-features/basic-values/tuple01.out
@@ -5,7 +5,7 @@ unit = _lhs unit (_rhs ())
 unit :: ()
 unit = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/tuple01.lc 1:1-1:5
+tuple01.lc 1:1-1:5
     ()
-testdata/language-features/basic-values/tuple01.lc 1:8-1:10
+tuple01.lc 1:8-1:10
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/tuple02.out b/testdata/language-features/basic-values/tuple02.out
index d221d37a..c1561406 100644
--- a/testdata/language-features/basic-values/tuple02.out
+++ b/testdata/language-features/basic-values/tuple02.out
@@ -15,43 +15,43 @@ tuple2 = _rhs ((), ())
 tuple3 :: ((String, Char), ())
 tuple3 = _rhs (("name", 'c'), ())
 ------------ tooltips
-testdata/language-features/basic-values/tuple02.lc 1:1-1:7
+tuple02.lc 1:1-1:7
     forall a . Num a => (a, Float, Char, String, ())
-testdata/language-features/basic-values/tuple02.lc 1:10-1:33
+tuple02.lc 1:10-1:33
     (_b, Float, Char, String, ())
-testdata/language-features/basic-values/tuple02.lc 1:11-1:12
+tuple02.lc 1:11-1:12
     _b
-testdata/language-features/basic-values/tuple02.lc 1:13-1:16
+tuple02.lc 1:13-1:16
     Float
-testdata/language-features/basic-values/tuple02.lc 1:13-1:32
+tuple02.lc 1:13-1:32
     (Float, Char, String, ())
-testdata/language-features/basic-values/tuple02.lc 1:17-1:20
+tuple02.lc 1:17-1:20
     Char
-testdata/language-features/basic-values/tuple02.lc 1:17-1:32
+tuple02.lc 1:17-1:32
     (Char, String, ())
-testdata/language-features/basic-values/tuple02.lc 1:21-1:29
+tuple02.lc 1:21-1:29
     String
-testdata/language-features/basic-values/tuple02.lc 1:21-1:32
+tuple02.lc 1:21-1:32
     (String, ())
-testdata/language-features/basic-values/tuple02.lc 1:30-1:32
+tuple02.lc 1:30-1:32
     () | ((()))
-testdata/language-features/basic-values/tuple02.lc 3:1-3:7
+tuple02.lc 3:1-3:7
     ((), ())
-testdata/language-features/basic-values/tuple02.lc 3:10-3:17
+tuple02.lc 3:10-3:17
     ((), ())
-testdata/language-features/basic-values/tuple02.lc 3:11-3:13
+tuple02.lc 3:11-3:13
     ()
-testdata/language-features/basic-values/tuple02.lc 3:14-3:16
+tuple02.lc 3:14-3:16
     () | ((()))
-testdata/language-features/basic-values/tuple02.lc 5:1-5:7
+tuple02.lc 5:1-5:7
     ((String, Char), ())
-testdata/language-features/basic-values/tuple02.lc 5:10-5:27
+tuple02.lc 5:10-5:27
     ((String, Char), ())
-testdata/language-features/basic-values/tuple02.lc 5:11-5:23
+tuple02.lc 5:11-5:23
     (String, Char)
-testdata/language-features/basic-values/tuple02.lc 5:12-5:18
+tuple02.lc 5:12-5:18
     String
-testdata/language-features/basic-values/tuple02.lc 5:19-5:22
+tuple02.lc 5:19-5:22
     Char | ((Char))
-testdata/language-features/basic-values/tuple02.lc 5:24-5:26
+tuple02.lc 5:24-5:26
     () | ((()))
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig01.out b/testdata/language-features/basic-values/typesig01.out
index 964ba8a7..99b776c7 100644
--- a/testdata/language-features/basic-values/typesig01.out
+++ b/testdata/language-features/basic-values/typesig01.out
@@ -12,15 +12,15 @@ value1 = _rhs 'a'
 value2 :: Char
 value2 = _rhs 'a'
 ------------ tooltips
-testdata/language-features/basic-values/typesig01.lc 1:11-1:15
+typesig01.lc 1:11-1:15
     Type
-testdata/language-features/basic-values/typesig01.lc 2:1-2:7
+typesig01.lc 2:1-2:7
     Char
-testdata/language-features/basic-values/typesig01.lc 2:10-2:13
+typesig01.lc 2:10-2:13
     Char
-testdata/language-features/basic-values/typesig01.lc 4:9-4:13
+typesig01.lc 4:9-4:13
     Type
-testdata/language-features/basic-values/typesig01.lc 5:1-5:7
+typesig01.lc 5:1-5:7
     Char
-testdata/language-features/basic-values/typesig01.lc 5:8-5:11
+typesig01.lc 5:8-5:11
     Char
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig02.out b/testdata/language-features/basic-values/typesig02.out
index b9c50d6b..4380458d 100644
--- a/testdata/language-features/basic-values/typesig02.out
+++ b/testdata/language-features/basic-values/typesig02.out
@@ -10,15 +10,15 @@ value1 = _rhs 'a'
 value2 :: Char
 value2 = _rhs 'a'
 ------------ tooltips
-testdata/language-features/basic-values/typesig02.lc 1:1-1:7
+typesig02.lc 1:1-1:7
     Char
-testdata/language-features/basic-values/typesig02.lc 1:10-1:13
+typesig02.lc 1:10-1:13
     Char
-testdata/language-features/basic-values/typesig02.lc 1:17-1:21
+typesig02.lc 1:17-1:21
     Type
-testdata/language-features/basic-values/typesig02.lc 3:1-3:7
+typesig02.lc 3:1-3:7
     Char
-testdata/language-features/basic-values/typesig02.lc 3:8-3:11
+typesig02.lc 3:8-3:11
     Char
-testdata/language-features/basic-values/typesig02.lc 3:13-3:17
+typesig02.lc 3:13-3:17
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out
index a26d2bef..0ccb0844 100644
--- a/testdata/language-features/basic-values/typesig03.out
+++ b/testdata/language-features/basic-values/typesig03.out
@@ -12,39 +12,39 @@ fun1 = \_ _ _ _ _ _ -> _rhs ()
 fun2 :: forall a b c . a -> b -> c -> ()
 fun2 = \_ _ _ _ _ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/typesig03.lc 1:9-1:10
+typesig03.lc 1:9-1:10
     _f
-testdata/language-features/basic-values/typesig03.lc 1:9-1:26
+typesig03.lc 1:9-1:26
     Type | Type | Type
-testdata/language-features/basic-values/typesig03.lc 1:14-1:15
+typesig03.lc 1:14-1:15
     _e
-testdata/language-features/basic-values/typesig03.lc 1:14-1:26
+typesig03.lc 1:14-1:26
     Type
-testdata/language-features/basic-values/typesig03.lc 1:19-1:20
+typesig03.lc 1:19-1:20
     _d
-testdata/language-features/basic-values/typesig03.lc 1:19-1:26
+typesig03.lc 1:19-1:26
     Type
-testdata/language-features/basic-values/typesig03.lc 1:24-1:26
+typesig03.lc 1:24-1:26
     Type | Type
-testdata/language-features/basic-values/typesig03.lc 2:1-2:5
+typesig03.lc 2:1-2:5
     forall a b c . a -> b -> c -> ()
-testdata/language-features/basic-values/typesig03.lc 2:14-2:16
+typesig03.lc 2:14-2:16
     ()
-testdata/language-features/basic-values/typesig03.lc 4:7-4:8
+typesig03.lc 4:7-4:8
     _f
-testdata/language-features/basic-values/typesig03.lc 4:7-4:18
+typesig03.lc 4:7-4:18
     Type | Type | Type
-testdata/language-features/basic-values/typesig03.lc 4:10-4:11
+typesig03.lc 4:10-4:11
     _e
-testdata/language-features/basic-values/typesig03.lc 4:10-4:18
+typesig03.lc 4:10-4:18
     Type
-testdata/language-features/basic-values/typesig03.lc 4:13-4:14
+typesig03.lc 4:13-4:14
     _d
-testdata/language-features/basic-values/typesig03.lc 4:13-4:18
+typesig03.lc 4:13-4:18
     Type
-testdata/language-features/basic-values/typesig03.lc 4:16-4:18
+typesig03.lc 4:16-4:18
     Type | Type
-testdata/language-features/basic-values/typesig03.lc 5:1-5:5
+typesig03.lc 5:1-5:5
     forall a b c . a -> b -> c -> ()
-testdata/language-features/basic-values/typesig03.lc 5:14-5:16
+typesig03.lc 5:14-5:16
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out
index 4e55cfac..216b50b5 100644
--- a/testdata/language-features/basic-values/typesig04.out
+++ b/testdata/language-features/basic-values/typesig04.out
@@ -12,35 +12,35 @@ fun1 = \_ _ _ _ _ -> _rhs ()
 fun2 :: forall a b c . a -> (b -> c) -> ()
 fun2 = \_ _ _ _ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/typesig04.lc 1:9-1:10
+typesig04.lc 1:9-1:10
     _f
-testdata/language-features/basic-values/typesig04.lc 1:9-1:28
+typesig04.lc 1:9-1:28
     Type | Type | Type
-testdata/language-features/basic-values/typesig04.lc 1:14-1:28
+typesig04.lc 1:14-1:28
     Type
-testdata/language-features/basic-values/typesig04.lc 1:15-1:16
+typesig04.lc 1:15-1:16
     _e
-testdata/language-features/basic-values/typesig04.lc 1:20-1:21
+typesig04.lc 1:20-1:21
     _d | Type
-testdata/language-features/basic-values/typesig04.lc 1:26-1:28
+typesig04.lc 1:26-1:28
     Type | Type
-testdata/language-features/basic-values/typesig04.lc 2:1-2:5
+typesig04.lc 2:1-2:5
     forall a b c . a -> (b -> c) -> ()
-testdata/language-features/basic-values/typesig04.lc 2:12-2:14
+typesig04.lc 2:12-2:14
     ()
-testdata/language-features/basic-values/typesig04.lc 4:7-4:8
+typesig04.lc 4:7-4:8
     _f
-testdata/language-features/basic-values/typesig04.lc 4:7-4:20
+typesig04.lc 4:7-4:20
     Type | Type | Type
-testdata/language-features/basic-values/typesig04.lc 4:10-4:20
+typesig04.lc 4:10-4:20
     Type
-testdata/language-features/basic-values/typesig04.lc 4:11-4:12
+typesig04.lc 4:11-4:12
     _e
-testdata/language-features/basic-values/typesig04.lc 4:14-4:15
+typesig04.lc 4:14-4:15
     _d | Type
-testdata/language-features/basic-values/typesig04.lc 4:18-4:20
+typesig04.lc 4:18-4:20
     Type | Type
-testdata/language-features/basic-values/typesig04.lc 5:1-5:5
+typesig04.lc 5:1-5:5
     forall a b c . a -> (b -> c) -> ()
-testdata/language-features/basic-values/typesig04.lc 5:12-5:14
+typesig04.lc 5:12-5:14
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out
index fc1da409..68ed5a37 100644
--- a/testdata/language-features/basic-values/typesig05.out
+++ b/testdata/language-features/basic-values/typesig05.out
@@ -32,67 +32,67 @@ value3 = _rhs 'a'
 value4 :: String
 value4 = _rhs "b"
 ------------ tooltips
-testdata/language-features/basic-values/typesig05.lc 1:1-1:5
+typesig05.lc 1:1-1:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig05.lc 1:12-1:13
+typesig05.lc 1:12-1:13
     _d
-testdata/language-features/basic-values/typesig05.lc 2:1-2:5
+typesig05.lc 2:1-2:5
     forall a b . a -> b -> b
-testdata/language-features/basic-values/typesig05.lc 2:12-2:13
+typesig05.lc 2:12-2:13
     _b
-testdata/language-features/basic-values/typesig05.lc 4:1-4:7
+typesig05.lc 4:1-4:7
     Char
-testdata/language-features/basic-values/typesig05.lc 4:10-4:14
+typesig05.lc 4:10-4:14
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig05.lc 4:10-4:18
+typesig05.lc 4:10-4:18
     _a -> Char
-testdata/language-features/basic-values/typesig05.lc 4:10-4:22
+typesig05.lc 4:10-4:22
     Char
-testdata/language-features/basic-values/typesig05.lc 4:15-4:18
+typesig05.lc 4:15-4:18
     Char
-testdata/language-features/basic-values/typesig05.lc 4:19-4:22
+typesig05.lc 4:19-4:22
     String
-testdata/language-features/basic-values/typesig05.lc 4:26-4:30
+typesig05.lc 4:26-4:30
     Type
-testdata/language-features/basic-values/typesig05.lc 5:1-5:7
+typesig05.lc 5:1-5:7
     String
-testdata/language-features/basic-values/typesig05.lc 5:10-5:14
+typesig05.lc 5:10-5:14
     forall a b . a -> b -> b
-testdata/language-features/basic-values/typesig05.lc 5:10-5:18
+typesig05.lc 5:10-5:18
     _a -> _a
-testdata/language-features/basic-values/typesig05.lc 5:10-5:22
+typesig05.lc 5:10-5:22
     String
-testdata/language-features/basic-values/typesig05.lc 5:15-5:18
+typesig05.lc 5:15-5:18
     Char
-testdata/language-features/basic-values/typesig05.lc 5:19-5:22
+typesig05.lc 5:19-5:22
     String
-testdata/language-features/basic-values/typesig05.lc 5:26-5:32
+typesig05.lc 5:26-5:32
     Type
-testdata/language-features/basic-values/typesig05.lc 7:11-7:15
+typesig05.lc 7:11-7:15
     Type
-testdata/language-features/basic-values/typesig05.lc 8:1-8:7
+typesig05.lc 8:1-8:7
     Char
-testdata/language-features/basic-values/typesig05.lc 8:10-8:14
+typesig05.lc 8:10-8:14
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig05.lc 8:10-8:18
+typesig05.lc 8:10-8:18
     _a -> Char
-testdata/language-features/basic-values/typesig05.lc 8:10-8:22
+typesig05.lc 8:10-8:22
     Char
-testdata/language-features/basic-values/typesig05.lc 8:15-8:18
+typesig05.lc 8:15-8:18
     Char
-testdata/language-features/basic-values/typesig05.lc 8:19-8:22
+typesig05.lc 8:19-8:22
     String
-testdata/language-features/basic-values/typesig05.lc 10:11-10:17
+typesig05.lc 10:11-10:17
     Type
-testdata/language-features/basic-values/typesig05.lc 11:1-11:7
+typesig05.lc 11:1-11:7
     String
-testdata/language-features/basic-values/typesig05.lc 11:10-11:14
+typesig05.lc 11:10-11:14
     forall a b . a -> b -> b
-testdata/language-features/basic-values/typesig05.lc 11:10-11:18
+typesig05.lc 11:10-11:18
     _a -> _a
-testdata/language-features/basic-values/typesig05.lc 11:10-11:22
+typesig05.lc 11:10-11:22
     String
-testdata/language-features/basic-values/typesig05.lc 11:15-11:18
+typesig05.lc 11:15-11:18
     Char
-testdata/language-features/basic-values/typesig05.lc 11:19-11:22
+typesig05.lc 11:19-11:22
     String
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig06.out b/testdata/language-features/basic-values/typesig06.out
index 04783c47..c0d085a4 100644
--- a/testdata/language-features/basic-values/typesig06.out
+++ b/testdata/language-features/basic-values/typesig06.out
@@ -20,39 +20,39 @@ value1 = _rhs "hi"
 value2 :: String
 value2 = _rhs "hi"
 ------------ tooltips
-testdata/language-features/basic-values/typesig06.lc 1:1-1:5
+typesig06.lc 1:1-1:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig06.lc 1:12-1:13
+typesig06.lc 1:12-1:13
     _d
-testdata/language-features/basic-values/typesig06.lc 2:3-2:5
+typesig06.lc 2:3-2:5
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig06.lc 2:10-2:11
+typesig06.lc 2:10-2:11
     _d
-testdata/language-features/basic-values/typesig06.lc 4:1-4:7
+typesig06.lc 4:1-4:7
     String
-testdata/language-features/basic-values/typesig06.lc 4:10-4:14
+typesig06.lc 4:10-4:14
     String
-testdata/language-features/basic-values/typesig06.lc 4:10-4:17
+typesig06.lc 4:10-4:17
     _a -> String
-testdata/language-features/basic-values/typesig06.lc 4:10-4:21
+typesig06.lc 4:10-4:21
     String
-testdata/language-features/basic-values/typesig06.lc 4:15-4:17
+typesig06.lc 4:15-4:17
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig06.lc 4:18-4:21
+typesig06.lc 4:18-4:21
     Float
-testdata/language-features/basic-values/typesig06.lc 4:25-4:31
+typesig06.lc 4:25-4:31
     Type
-testdata/language-features/basic-values/typesig06.lc 5:1-5:7
+typesig06.lc 5:1-5:7
     String
-testdata/language-features/basic-values/typesig06.lc 5:10-5:14
+typesig06.lc 5:10-5:14
     String
-testdata/language-features/basic-values/typesig06.lc 5:10-5:21
+typesig06.lc 5:10-5:21
     _a -> String
-testdata/language-features/basic-values/typesig06.lc 5:10-5:25
+typesig06.lc 5:10-5:25
     String
-testdata/language-features/basic-values/typesig06.lc 5:15-5:21
+typesig06.lc 5:15-5:21
     forall a b . a -> b -> a
-testdata/language-features/basic-values/typesig06.lc 5:22-5:25
+typesig06.lc 5:22-5:25
     Float
-testdata/language-features/basic-values/typesig06.lc 5:29-5:35
+typesig06.lc 5:29-5:35
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out
index c8f1b04a..61b2b2ec 100644
--- a/testdata/language-features/basic-values/typesig07.out
+++ b/testdata/language-features/basic-values/typesig07.out
@@ -36,37 +36,37 @@ value4 = \_ _ -> _rhs ()
 value6 :: () -> () -> ()
 value6 = \_ _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/typesig07.lc 1:27-1:30
+typesig07.lc 1:27-1:30
     Type | Type | Type
-testdata/language-features/basic-values/typesig07.lc 3:1-3:7
+typesig07.lc 3:1-3:7
     Int
-testdata/language-features/basic-values/typesig07.lc 3:10-3:11
+typesig07.lc 3:10-3:11
     _b
-testdata/language-features/basic-values/typesig07.lc 4:1-4:7
+typesig07.lc 4:1-4:7
     Int
-testdata/language-features/basic-values/typesig07.lc 4:10-4:11
+typesig07.lc 4:10-4:11
     _b
-testdata/language-features/basic-values/typesig07.lc 5:1-5:7
+typesig07.lc 5:1-5:7
     Int
-testdata/language-features/basic-values/typesig07.lc 5:10-5:11
+typesig07.lc 5:10-5:11
     _b
-testdata/language-features/basic-values/typesig07.lc 8:12-8:14
+typesig07.lc 8:12-8:14
     Type | Type | Type
-testdata/language-features/basic-values/typesig07.lc 8:18-8:20
+typesig07.lc 8:18-8:20
     Type | Type | Type
-testdata/language-features/basic-values/typesig07.lc 8:18-8:26
+typesig07.lc 8:18-8:26
     Type | Type | Type
-testdata/language-features/basic-values/typesig07.lc 8:24-8:26
+typesig07.lc 8:24-8:26
     Type | Type | Type | Type | Type | Type
-testdata/language-features/basic-values/typesig07.lc 10:1-10:7
+typesig07.lc 10:1-10:7
     () -> () -> ()
-testdata/language-features/basic-values/typesig07.lc 10:14-10:16
+typesig07.lc 10:14-10:16
     ()
-testdata/language-features/basic-values/typesig07.lc 11:3-11:6
+typesig07.lc 11:3-11:6
     () -> () -> ()
-testdata/language-features/basic-values/typesig07.lc 11:11-11:13
+typesig07.lc 11:11-11:13
     ()
-testdata/language-features/basic-values/typesig07.lc 12:1-12:7
+typesig07.lc 12:1-12:7
     () -> () -> ()
-testdata/language-features/basic-values/typesig07.lc 12:14-12:16
+typesig07.lc 12:14-12:16
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn01.out b/testdata/language-features/basic-values/typesyn01.out
index 04b3421a..df1cfb53 100644
--- a/testdata/language-features/basic-values/typesyn01.out
+++ b/testdata/language-features/basic-values/typesyn01.out
@@ -5,7 +5,7 @@ main is not found
 'MyUnit :: Type
 'MyUnit = _rhs ' ()
 ------------ tooltips
-testdata/language-features/basic-values/typesyn01.lc 1:6-1:12
+typesyn01.lc 1:6-1:12
     Type
-testdata/language-features/basic-values/typesyn01.lc 1:15-1:17
+typesyn01.lc 1:15-1:17
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out
index efca73f5..60d36933 100644
--- a/testdata/language-features/basic-values/typesyn02.out
+++ b/testdata/language-features/basic-values/typesyn02.out
@@ -11,21 +11,21 @@ fun = _lhs fun \(_ :: _) (a :: _) -> hlistNilCase _ (_rhs ()) a
 fun :: forall a . a -> MyUnit -> ()
 fun = \_ _ a -> hlistNilCase ' () (_rhs ()) a
 ------------ tooltips
-testdata/language-features/basic-values/typesyn02.lc 1:6-1:12
+typesyn02.lc 1:6-1:12
     Type
-testdata/language-features/basic-values/typesyn02.lc 1:15-1:17
+typesyn02.lc 1:15-1:17
     Type
-testdata/language-features/basic-values/typesyn02.lc 3:8-3:9
+typesyn02.lc 3:8-3:9
     _b
-testdata/language-features/basic-values/typesyn02.lc 3:8-3:29
+typesyn02.lc 3:8-3:29
     Type
-testdata/language-features/basic-values/typesyn02.lc 3:13-3:19
+typesyn02.lc 3:13-3:19
     Type
-testdata/language-features/basic-values/typesyn02.lc 3:13-3:29
+typesyn02.lc 3:13-3:29
     Type
-testdata/language-features/basic-values/typesyn02.lc 3:23-3:29
+typesyn02.lc 3:23-3:29
     Type | Type
-testdata/language-features/basic-values/typesyn02.lc 4:1-4:4
+typesyn02.lc 4:1-4:4
     forall a . a -> MyUnit -> ()
-testdata/language-features/basic-values/typesyn02.lc 4:12-4:14
+typesyn02.lc 4:12-4:14
     () | ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out
index 2b77d0c1..692e020f 100644
--- a/testdata/language-features/basic-values/typesyn03.reject.out
+++ b/testdata/language-features/basic-values/typesyn03.reject.out
@@ -1,24 +1,24 @@
-already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
+already defined 'MyUnit at typesyn03.reject.lc:2:6:
 type MyUnit = ()
      ^^^^^^
-and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
+and at typesyn03.reject.lc:1:6:
 type MyUnit = ()
      ^^^^^^
 ------------ trace
 'MyUnit :: Type
 'MyUnit :: Type
-!already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
+!already defined 'MyUnit at typesyn03.reject.lc:2:6:
 type MyUnit = ()
      ^^^^^^
-and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
+and at typesyn03.reject.lc:1:6:
 type MyUnit = ()
      ^^^^^^
 ------------ tooltips
-testdata/language-features/basic-values/typesyn03.reject.lc 1:6-1:12
+typesyn03.reject.lc 1:6-1:12
     Type
-testdata/language-features/basic-values/typesyn03.reject.lc 1:15-1:17
+typesyn03.reject.lc 1:15-1:17
     Type
-testdata/language-features/basic-values/typesyn03.reject.lc 2:6-2:12
+typesyn03.reject.lc 2:6-2:12
     Type
-testdata/language-features/basic-values/typesyn03.reject.lc 2:15-2:17
+typesyn03.reject.lc 2:15-2:17
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out
index bb35b41e..3ad7f8a7 100644
--- a/testdata/language-features/basic-values/typesyn04.reject.out
+++ b/testdata/language-features/basic-values/typesyn04.reject.out
@@ -1,24 +1,24 @@
-already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
+already defined 'MyUnit at typesyn04.reject.lc:2:6:
 type MyUnit = ()
      ^^^^^^
-and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
+and at typesyn04.reject.lc:1:6:
 type MyUnit = ()
      ^^^^^^
 ------------ trace
 'MyUnit :: Type
 'MyUnit :: Type
-!already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
+!already defined 'MyUnit at typesyn04.reject.lc:2:6:
 type MyUnit = ()
      ^^^^^^
-and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
+and at typesyn04.reject.lc:1:6:
 type MyUnit = ()
      ^^^^^^
 ------------ tooltips
-testdata/language-features/basic-values/typesyn04.reject.lc 1:6-1:12
+typesyn04.reject.lc 1:6-1:12
     Type
-testdata/language-features/basic-values/typesyn04.reject.lc 1:15-1:17
+typesyn04.reject.lc 1:15-1:17
     Type
-testdata/language-features/basic-values/typesyn04.reject.lc 2:6-2:12
+typesyn04.reject.lc 2:6-2:12
     Type
-testdata/language-features/basic-values/typesyn04.reject.lc 2:15-2:17
+typesyn04.reject.lc 2:15-2:17
     Type
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/where01.out b/testdata/language-features/basic-values/where01.out
index 45cdab5f..4c44def7 100644
--- a/testdata/language-features/basic-values/where01.out
+++ b/testdata/language-features/basic-values/where01.out
@@ -55,75 +55,75 @@ value8 = _rhs ()
 value9 :: ()
 value9 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/where01.lc 1:1-1:7
+where01.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/where01.lc 1:10-1:12
+where01.lc 1:10-1:12
     ()
-testdata/language-features/basic-values/where01.lc 1:23-1:25
+where01.lc 1:23-1:25
     ()
-testdata/language-features/basic-values/where01.lc 3:1-3:7
+where01.lc 3:1-3:7
     ()
-testdata/language-features/basic-values/where01.lc 3:10-3:11
+where01.lc 3:10-3:11
     ()
-testdata/language-features/basic-values/where01.lc 4:12-4:14
+where01.lc 4:12-4:14
     ()
-testdata/language-features/basic-values/where01.lc 6:1-6:7
+where01.lc 6:1-6:7
     ()
-testdata/language-features/basic-values/where01.lc 6:10-6:11
+where01.lc 6:10-6:11
     ()
-testdata/language-features/basic-values/where01.lc 7:12-7:14
+where01.lc 7:12-7:14
     ()
-testdata/language-features/basic-values/where01.lc 8:12-8:14
+where01.lc 8:12-8:14
     ()
-testdata/language-features/basic-values/where01.lc 10:1-10:7
+where01.lc 10:1-10:7
     ()
-testdata/language-features/basic-values/where01.lc 10:10-10:11
+where01.lc 10:10-10:11
     ()
-testdata/language-features/basic-values/where01.lc 12:6-12:8
+where01.lc 12:6-12:8
     ()
-testdata/language-features/basic-values/where01.lc 13:6-13:8
+where01.lc 13:6-13:8
     ()
-testdata/language-features/basic-values/where01.lc 15:1-15:7
+where01.lc 15:1-15:7
     ()
-testdata/language-features/basic-values/where01.lc 15:10-15:11
+where01.lc 15:10-15:11
     ()
-testdata/language-features/basic-values/where01.lc 17:7-17:9
+where01.lc 17:7-17:9
     ()
-testdata/language-features/basic-values/where01.lc 18:7-18:9
+where01.lc 18:7-18:9
     ()
-testdata/language-features/basic-values/where01.lc 20:1-20:7
+where01.lc 20:1-20:7
     ()
-testdata/language-features/basic-values/where01.lc 20:10-20:12
+where01.lc 20:10-20:12
     ()
-testdata/language-features/basic-values/where01.lc 22:1-22:7
+where01.lc 22:1-22:7
     ()
-testdata/language-features/basic-values/where01.lc 22:10-22:12
+where01.lc 22:10-22:12
     ()
-testdata/language-features/basic-values/where01.lc 25:1-25:7
+where01.lc 25:1-25:7
     ()
-testdata/language-features/basic-values/where01.lc 25:10-25:12
+where01.lc 25:10-25:12
     ()
-testdata/language-features/basic-values/where01.lc 30:1-30:7
+where01.lc 30:1-30:7
     ()
-testdata/language-features/basic-values/where01.lc 30:10-30:11
+where01.lc 30:10-30:11
     ()
-testdata/language-features/basic-values/where01.lc 34:7-34:9
+where01.lc 34:7-34:9
     ()
-testdata/language-features/basic-values/where01.lc 35:7-35:9
+where01.lc 35:7-35:9
     ()
-testdata/language-features/basic-values/where01.lc 37:1-37:8
+where01.lc 37:1-37:8
     ()
-testdata/language-features/basic-values/where01.lc 37:11-37:12
+where01.lc 37:11-37:12
     ()
-testdata/language-features/basic-values/where01.lc 39:6-39:8
+where01.lc 39:6-39:8
     ()
-testdata/language-features/basic-values/where01.lc 40:6-40:8
+where01.lc 40:6-40:8
     ()
-testdata/language-features/basic-values/where01.lc 42:1-42:8
+where01.lc 42:1-42:8
     ()
-testdata/language-features/basic-values/where01.lc 42:11-42:12
+where01.lc 42:11-42:12
     ()
-testdata/language-features/basic-values/where01.lc 43:6-43:8
+where01.lc 43:6-43:8
     ()
-testdata/language-features/basic-values/where01.lc 44:6-44:8
+where01.lc 44:6-44:8
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/where04.out b/testdata/language-features/basic-values/where04.out
index 0c247314..06d51b41 100644
--- a/testdata/language-features/basic-values/where04.out
+++ b/testdata/language-features/basic-values/where04.out
@@ -15,27 +15,27 @@ value2 = _rhs ()
 value3 :: ()
 value3 = _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/where04.lc 1:1-1:7
+where04.lc 1:1-1:7
     ()
-testdata/language-features/basic-values/where04.lc 1:18-1:19
+where04.lc 1:18-1:19
     ()
-testdata/language-features/basic-values/where04.lc 1:30-1:32
+where04.lc 1:30-1:32
     ()
-testdata/language-features/basic-values/where04.lc 1:36-1:37
+where04.lc 1:36-1:37
     ()
-testdata/language-features/basic-values/where04.lc 3:1-3:7
+where04.lc 3:1-3:7
     ()
-testdata/language-features/basic-values/where04.lc 3:18-3:19
+where04.lc 3:18-3:19
     ()
-testdata/language-features/basic-values/where04.lc 4:25-4:27
+where04.lc 4:25-4:27
     ()
-testdata/language-features/basic-values/where04.lc 5:13-5:14
+where04.lc 5:13-5:14
     ()
-testdata/language-features/basic-values/where04.lc 7:1-7:7
+where04.lc 7:1-7:7
     ()
-testdata/language-features/basic-values/where04.lc 7:18-7:19
+where04.lc 7:18-7:19
     ()
-testdata/language-features/basic-values/where04.lc 9:19-9:21
+where04.lc 9:19-9:21
     ()
-testdata/language-features/basic-values/where04.lc 10:13-10:14
+where04.lc 10:13-10:14
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out
index 768de934..e371d656 100644
--- a/testdata/language-features/basic-values/where05.out
+++ b/testdata/language-features/basic-values/where05.out
@@ -48,59 +48,59 @@ value4
   = \a b c -> _rhs
     (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
 ------------ tooltips
-testdata/language-features/basic-values/where05.lc 1:1-1:7
+where05.lc 1:1-1:7
     forall a . (Eq a, Num a) => ()
-testdata/language-features/basic-values/where05.lc 1:10-3:10
+where05.lc 1:10-3:10
     ()
-testdata/language-features/basic-values/where05.lc 1:15-1:16
+where05.lc 1:15-1:16
     _b
-testdata/language-features/basic-values/where05.lc 2:8-2:9
+where05.lc 2:8-2:9
     ()
-testdata/language-features/basic-values/where05.lc 2:8-3:10
+where05.lc 2:8-3:10
     Bool -> ()
-testdata/language-features/basic-values/where05.lc 2:20-2:22
+where05.lc 2:20-2:22
     ()
-testdata/language-features/basic-values/where05.lc 3:8-3:10
+where05.lc 3:8-3:10
     ()
-testdata/language-features/basic-values/where05.lc 5:1-5:7
+where05.lc 5:1-5:7
     forall a . (Eq a, Num a) => ()
-testdata/language-features/basic-values/where05.lc 5:10-8:10
+where05.lc 5:10-8:10
     ()
-testdata/language-features/basic-values/where05.lc 5:15-5:16
+where05.lc 5:15-5:16
     _b
-testdata/language-features/basic-values/where05.lc 6:8-6:9
+where05.lc 6:8-6:9
     ()
-testdata/language-features/basic-values/where05.lc 6:8-8:10
+where05.lc 6:8-8:10
     Bool -> ()
-testdata/language-features/basic-values/where05.lc 7:14-7:16
+where05.lc 7:14-7:16
     ()
-testdata/language-features/basic-values/where05.lc 8:8-8:10
+where05.lc 8:8-8:10
     ()
-testdata/language-features/basic-values/where05.lc 10:1-10:7
+where05.lc 10:1-10:7
     forall a . (Eq a, Num a) => ()
-testdata/language-features/basic-values/where05.lc 10:10-14:10
+where05.lc 10:10-14:10
     ()
-testdata/language-features/basic-values/where05.lc 10:15-10:16
+where05.lc 10:15-10:16
     _b
-testdata/language-features/basic-values/where05.lc 11:8-11:9
+where05.lc 11:8-11:9
     ()
-testdata/language-features/basic-values/where05.lc 11:8-14:10
+where05.lc 11:8-14:10
     Bool -> ()
-testdata/language-features/basic-values/where05.lc 13:8-13:10
+where05.lc 13:8-13:10
     ()
-testdata/language-features/basic-values/where05.lc 14:8-14:10
+where05.lc 14:8-14:10
     ()
-testdata/language-features/basic-values/where05.lc 16:1-16:7
+where05.lc 16:1-16:7
     forall a . (Eq a, Num a) => ()
-testdata/language-features/basic-values/where05.lc 16:10-18:10
+where05.lc 16:10-18:10
     ()
-testdata/language-features/basic-values/where05.lc 16:15-16:16
+where05.lc 16:15-16:16
     _b
-testdata/language-features/basic-values/where05.lc 17:8-17:9
+where05.lc 17:8-17:9
     ()
-testdata/language-features/basic-values/where05.lc 17:8-18:10
+where05.lc 17:8-18:10
     Bool -> ()
-testdata/language-features/basic-values/where05.lc 18:8-18:10
+where05.lc 18:8-18:10
     ()
-testdata/language-features/basic-values/where05.lc 21:6-21:8
+where05.lc 21:6-21:8
     ()
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/where06.reject.out b/testdata/language-features/basic-values/where06.reject.out
index 819ead1f..8040bdc1 100644
--- a/testdata/language-features/basic-values/where06.reject.out
+++ b/testdata/language-features/basic-values/where06.reject.out
@@ -1,8 +1,8 @@
 testdata/language-features/basic-values/where06.reject.lc:7:1:
 redefined x:
-testdata/language-features/basic-values/where06.reject.lc:3:1:
+where06.reject.lc:3:1:
 x = y where
 ^
-testdata/language-features/basic-values/where06.reject.lc:5:1:
+where06.reject.lc:5:1:
 x = 'c'
-^
+^
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/wildcard01.out b/testdata/language-features/basic-values/wildcard01.out
index 4f954c87..0bc8489b 100644
--- a/testdata/language-features/basic-values/wildcard01.out
+++ b/testdata/language-features/basic-values/wildcard01.out
@@ -5,7 +5,7 @@ funUnit = _lhs funUnit \(_ :: _) -> _rhs ()
 funUnit :: forall a . a -> ()
 funUnit = \a _ -> _rhs ()
 ------------ tooltips
-testdata/language-features/basic-values/wildcard01.lc 1:1-1:8
+wildcard01.lc 1:1-1:8
     forall a . a -> ()
-testdata/language-features/basic-values/wildcard01.lc 1:13-1:15
+wildcard01.lc 1:13-1:15
     ()
\ No newline at end of file