refactoring & fix build

1 files changed, 17 insertions, 17 deletions

diff --git a/testdata/localfun2.out b/testdata/localfun2.out
index 5c043c9b..f6ac91b6 100644
--- a/testdata/localfun2.out
+++ b/testdata/localfun2.out
@@ -54,37 +54,37 @@ split
           (b e)))
       c
 ------------ tooltips
-localfun2.lc 4:1-4:6
+4:1-4:6
     forall a . [a] -> ([a], [a])
-localfun2.lc 4:12-4:20
+4:12-4:20
     ([_b], [_a])
-localfun2.lc 4:12-5:55
+4:12-5:55
     [_b] -> ([_b], [_a])
-localfun2.lc 4:13-4:15
+4:13-4:15
     forall a . [a]
-localfun2.lc 4:17-4:19
+4:17-4:19
     forall a . [a] | (([_a]))
-localfun2.lc 5:17-5:28
+5:17-5:28
     ([_i], _c)
-localfun2.lc 5:18-5:19
+5:18-5:19
     _m
-localfun2.lc 5:18-5:20
+5:18-5:20
     [_l] -> [_l]
-localfun2.lc 5:18-5:23
+5:18-5:23
     [_j]
-localfun2.lc 5:19-5:20
+5:19-5:20
     forall a . a -> [a] -> [a]
-localfun2.lc 5:21-5:23
+5:21-5:23
     _d
-localfun2.lc 5:25-5:27
+5:25-5:27
     _f | ((_c))
-localfun2.lc 5:37-5:39
+5:37-5:39
     _k | _h | _d
-localfun2.lc 5:37-5:43
+5:37-5:43
     _d | (_e, _d)
-localfun2.lc 5:41-5:43
+5:41-5:43
     _f | _c | _c
-localfun2.lc 5:47-5:52
+5:47-5:52
     _i
-localfun2.lc 5:53-5:55
+5:53-5:55
     [_h]
\ No newline at end of file