refactoring & fix build

1 files changed, 16 insertions, 16 deletions

diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 4df48b2c..e07abac2 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,9 +1,9 @@
 type error: can not unify
-  'Internals.lc:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
   data Bool = False | True
        ^^^^
 with
-  'Internals.lc:58:6:
+  <<installed-prelude-path>>/Internals.lc:58:6:
   data Int
        ^^^
 in proj
@@ -18,36 +18,36 @@ case'Data3
         -> forall (h :: Data3) -> a h
 match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
 !type error: can not unify
-  'Internals.lc:63:6:
+  <<installed-prelude-path>>/Internals.lc:63:6:
   data Bool = False | True
        ^^^^
 with
-  'Internals.lc:58:6:
+  <<installed-prelude-path>>/Internals.lc:58:6:
   data Int
        ^^^
 in proj
 ------------ tooltips
-adt02.reject.lc 2:6-2:11
+2:6-2:11
     Type | Type | Type | Type | Type | Type | Type | Type
-adt02.reject.lc 2:6-5:25
+2:6-5:25
     Type | Type
-adt02.reject.lc 2:6-7:11
+2:6-7:11
     Type | Type
-adt02.reject.lc 2:6-10:20
+2:6-10:20
     Type | Type
-adt02.reject.lc 3:5-3:10
+3:5-3:10
     Bool -> Char -> Bool -> Data3 | Data3 | Type | Type | Type | Type
-adt02.reject.lc 3:21-3:25
+3:21-3:25
     Type
-adt02.reject.lc 4:21-4:25
+4:21-4:25
     Type
-adt02.reject.lc 5:21-5:25
+5:21-5:25
     Type
-adt02.reject.lc 7:5-7:11
+7:5-7:11
     Int -> String -> Int -> Data3 | Data3 | Type | Type | Type | Type
-adt02.reject.lc 8:17-8:20
+8:17-8:20
     Type
-adt02.reject.lc 9:17-9:23
+9:17-9:23
     Type
-adt02.reject.lc 10:17-10:20
+10:17-10:20
     Type
\ No newline at end of file