summaryrefslogtreecommitdiff
path: root/testdata/language-features/module
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/module')
-rw-r--r--testdata/language-features/module/Hello01.out16
-rw-r--r--testdata/language-features/module/Hello02.out16
-rw-r--r--testdata/language-features/module/Hello03.out16
-rw-r--r--testdata/language-features/module/ModulePackage/SubModule01.out8
-rw-r--r--testdata/language-features/module/Moduledef06.out8
-rw-r--r--testdata/language-features/module/Moduledef07.out8
-rw-r--r--testdata/language-features/module/Moduledef08.out8
-rw-r--r--testdata/language-features/module/Moduledef09.out16
-rw-r--r--testdata/language-features/module/Moduledef10.out24
-rw-r--r--testdata/language-features/module/Moduledef13.out8
-rw-r--r--testdata/language-features/module/TypeSyn01Mod.out8
-rw-r--r--testdata/language-features/module/import01.out8
-rw-r--r--testdata/language-features/module/import04.reject.out8
-rw-r--r--testdata/language-features/module/import05.out11
-rw-r--r--testdata/language-features/module/import06.out16
-rw-r--r--testdata/language-features/module/import07.out16
-rw-r--r--testdata/language-features/module/import08.out41
-rw-r--r--testdata/language-features/module/import09.out23
-rw-r--r--testdata/language-features/module/import10.reject.out8
-rw-r--r--testdata/language-features/module/import11.reject.out8
-rw-r--r--testdata/language-features/module/import12.out8
-rw-r--r--testdata/language-features/module/import13.out8
-rw-r--r--testdata/language-features/module/import14.out8
-rw-r--r--testdata/language-features/module/import15.out8
24 files changed, 193 insertions, 114 deletions
diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out
index d7ab37a3..aee194f1 100644
--- a/testdata/language-features/module/Hello01.out
+++ b/testdata/language-features/module/Hello01.out
@@ -3,10 +3,14 @@ hello = _rhs "hello"
3world = _rhs "world" 3world = _rhs "world"
4main is not found 4main is not found
5------------ trace 5------------ trace
6hello :: String 6hello :: String
7world :: String 7world :: String
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/Hello01.lc 3:1-3:6 String 9testdata/language-features/module/Hello01.lc 3:1-3:6
10testdata/language-features/module/Hello01.lc 3:9-3:16 String 10 String
11testdata/language-features/module/Hello01.lc 4:1-4:6 String 11testdata/language-features/module/Hello01.lc 3:9-3:16
12testdata/language-features/module/Hello01.lc 4:9-4:16 String 12 String
13testdata/language-features/module/Hello01.lc 4:1-4:6
14 String
15testdata/language-features/module/Hello01.lc 4:9-4:16
16 String \ No newline at end of file
diff --git a/testdata/language-features/module/Hello02.out b/testdata/language-features/module/Hello02.out
index 40a09950..9d582484 100644
--- a/testdata/language-features/module/Hello02.out
+++ b/testdata/language-features/module/Hello02.out
@@ -3,10 +3,14 @@ hello = _rhs "hello"
3world = _rhs "world" 3world = _rhs "world"
4main is not found 4main is not found
5------------ trace 5------------ trace
6hello :: String 6hello :: String
7world :: String 7world :: String
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/Hello02.lc 3:1-3:6 String 9testdata/language-features/module/Hello02.lc 3:1-3:6
10testdata/language-features/module/Hello02.lc 3:9-3:16 String 10 String
11testdata/language-features/module/Hello02.lc 4:1-4:6 String 11testdata/language-features/module/Hello02.lc 3:9-3:16
12testdata/language-features/module/Hello02.lc 4:9-4:16 String 12 String
13testdata/language-features/module/Hello02.lc 4:1-4:6
14 String
15testdata/language-features/module/Hello02.lc 4:9-4:16
16 String \ No newline at end of file
diff --git a/testdata/language-features/module/Hello03.out b/testdata/language-features/module/Hello03.out
index f926b872..98956c8a 100644
--- a/testdata/language-features/module/Hello03.out
+++ b/testdata/language-features/module/Hello03.out
@@ -3,10 +3,14 @@ greeting = _rhs 'G'
3value = _rhs 12.2 3value = _rhs 12.2
4main is not found 4main is not found
5------------ trace 5------------ trace
6greeting :: Char 6greeting :: Char
7value :: Float 7value :: Float
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/Hello03.lc 7:1-7:9 Char 9testdata/language-features/module/Hello03.lc 7:1-7:9
10testdata/language-features/module/Hello03.lc 7:12-7:15 Char 10 Char
11testdata/language-features/module/Hello03.lc 9:1-9:6 Float 11testdata/language-features/module/Hello03.lc 7:12-7:15
12testdata/language-features/module/Hello03.lc 9:9-9:13 Float 12 Char
13testdata/language-features/module/Hello03.lc 9:1-9:6
14 Float
15testdata/language-features/module/Hello03.lc 9:9-9:13
16 Float \ No newline at end of file
diff --git a/testdata/language-features/module/ModulePackage/SubModule01.out b/testdata/language-features/module/ModulePackage/SubModule01.out
index 88780f22..44457c17 100644
--- a/testdata/language-features/module/ModulePackage/SubModule01.out
+++ b/testdata/language-features/module/ModulePackage/SubModule01.out
@@ -2,7 +2,9 @@
2hello = _rhs "Hello" 2hello = _rhs "Hello"
3main is not found 3main is not found
4------------ trace 4------------ trace
5hello :: String 5hello :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/ModulePackage/SubModule01.lc 3:1-3:6 String 7testdata/language-features/module/ModulePackage/SubModule01.lc 3:1-3:6
8testdata/language-features/module/ModulePackage/SubModule01.lc 3:9-3:16 String 8 String
9testdata/language-features/module/ModulePackage/SubModule01.lc 3:9-3:16
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out
index 72cb3a01..95f989ee 100644
--- a/testdata/language-features/module/Moduledef06.out
+++ b/testdata/language-features/module/Moduledef06.out
@@ -2,7 +2,9 @@
2hello = _rhs "hello" 2hello = _rhs "hello"
3main is not found 3main is not found
4------------ trace 4------------ trace
5hello :: String 5hello :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/Moduledef06.lc 3:1-3:6 String 7testdata/language-features/module/Moduledef06.lc 3:1-3:6
8testdata/language-features/module/Moduledef06.lc 3:9-3:16 String 8 String
9testdata/language-features/module/Moduledef06.lc 3:9-3:16
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out
index ddd44c2e..0dafaaa8 100644
--- a/testdata/language-features/module/Moduledef07.out
+++ b/testdata/language-features/module/Moduledef07.out
@@ -2,7 +2,9 @@
2hello = _rhs "hello" 2hello = _rhs "hello"
3main is not found 3main is not found
4------------ trace 4------------ trace
5hello :: String 5hello :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/Moduledef07.lc 5:1-5:6 String 7testdata/language-features/module/Moduledef07.lc 5:1-5:6
8testdata/language-features/module/Moduledef07.lc 5:9-5:16 String 8 String
9testdata/language-features/module/Moduledef07.lc 5:9-5:16
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out
index 8c446393..d7add14b 100644
--- a/testdata/language-features/module/Moduledef08.out
+++ b/testdata/language-features/module/Moduledef08.out
@@ -2,7 +2,9 @@
2hello = _rhs "hello" 2hello = _rhs "hello"
3main is not found 3main is not found
4------------ trace 4------------ trace
5hello :: String 5hello :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/Moduledef08.lc 5:1-5:6 String 7testdata/language-features/module/Moduledef08.lc 5:1-5:6
8testdata/language-features/module/Moduledef08.lc 5:9-5:16 String 8 String
9testdata/language-features/module/Moduledef08.lc 5:9-5:16
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef09.out b/testdata/language-features/module/Moduledef09.out
index 6a8ec166..f90be0b2 100644
--- a/testdata/language-features/module/Moduledef09.out
+++ b/testdata/language-features/module/Moduledef09.out
@@ -3,10 +3,14 @@ hello = _rhs "hello"
3world = _rhs "world" 3world = _rhs "world"
4main is not found 4main is not found
5------------ trace 5------------ trace
6hello :: String 6hello :: String
7world :: String 7world :: String
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/Moduledef09.lc 5:1-5:6 String 9testdata/language-features/module/Moduledef09.lc 5:1-5:6
10testdata/language-features/module/Moduledef09.lc 5:9-5:16 String 10 String
11testdata/language-features/module/Moduledef09.lc 6:1-6:6 String 11testdata/language-features/module/Moduledef09.lc 5:9-5:16
12testdata/language-features/module/Moduledef09.lc 6:9-6:16 String 12 String
13testdata/language-features/module/Moduledef09.lc 6:1-6:6
14 String
15testdata/language-features/module/Moduledef09.lc 6:9-6:16
16 String \ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef10.out b/testdata/language-features/module/Moduledef10.out
index 2cec647d..2928a534 100644
--- a/testdata/language-features/module/Moduledef10.out
+++ b/testdata/language-features/module/Moduledef10.out
@@ -4,13 +4,19 @@ world = _rhs "world"
4value = _rhs HNil 4value = _rhs HNil
5main is not found 5main is not found
6------------ trace 6------------ trace
7hello :: String 7hello :: String
8world :: String 8world :: String
9value :: () 9value :: ()
10------------ tooltips 10------------ tooltips
11testdata/language-features/module/Moduledef10.lc 6:1-6:6 String 11testdata/language-features/module/Moduledef10.lc 6:1-6:6
12testdata/language-features/module/Moduledef10.lc 6:9-6:16 String 12 String
13testdata/language-features/module/Moduledef10.lc 7:1-7:6 String 13testdata/language-features/module/Moduledef10.lc 6:9-6:16
14testdata/language-features/module/Moduledef10.lc 7:9-7:16 String 14 String
15testdata/language-features/module/Moduledef10.lc 9:1-9:6 () 15testdata/language-features/module/Moduledef10.lc 7:1-7:6
16testdata/language-features/module/Moduledef10.lc 9:9-9:11 () 16 String
17testdata/language-features/module/Moduledef10.lc 7:9-7:16
18 String
19testdata/language-features/module/Moduledef10.lc 9:1-9:6
20 ()
21testdata/language-features/module/Moduledef10.lc 9:9-9:11
22 () \ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out
index 08922d6a..7b6fb91d 100644
--- a/testdata/language-features/module/Moduledef13.out
+++ b/testdata/language-features/module/Moduledef13.out
@@ -2,7 +2,9 @@
2hello = _rhs "hello" 2hello = _rhs "hello"
3main is not found 3main is not found
4------------ trace 4------------ trace
5hello :: String 5hello :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/Moduledef13.lc 3:1-3:6 String 7testdata/language-features/module/Moduledef13.lc 3:1-3:6
8testdata/language-features/module/Moduledef13.lc 3:9-3:16 String 8 String
9testdata/language-features/module/Moduledef13.lc 3:9-3:16
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out
index 61a3438b..0c1a7083 100644
--- a/testdata/language-features/module/TypeSyn01Mod.out
+++ b/testdata/language-features/module/TypeSyn01Mod.out
@@ -2,7 +2,9 @@
2'MyUnit = _rhs ('HList Nil) 2'MyUnit = _rhs ('HList Nil)
3main is not found 3main is not found
4------------ trace 4------------ trace
5'MyUnit :: Type 5'MyUnit :: Type
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/TypeSyn01Mod.lc 2:6-2:12 Type 7testdata/language-features/module/TypeSyn01Mod.lc 2:6-2:12
8testdata/language-features/module/TypeSyn01Mod.lc 2:15-2:17 Type 8 Type
9testdata/language-features/module/TypeSyn01Mod.lc 2:15-2:17
10 Type \ No newline at end of file
diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out
index 92e24184..0c9e505e 100644
--- a/testdata/language-features/module/import01.out
+++ b/testdata/language-features/module/import01.out
@@ -2,7 +2,9 @@
2x = _rhs hello 2x = _rhs hello
3main is not found 3main is not found
4------------ trace 4------------ trace
5x :: String 5x :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/import01.lc 3:1-3:2 String 7testdata/language-features/module/import01.lc 3:1-3:2
8testdata/language-features/module/import01.lc 3:5-3:10 String 8 String
9testdata/language-features/module/import01.lc 3:5-3:10
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/import04.reject.out b/testdata/language-features/module/import04.reject.out
index da33fb8b..a04a3790 100644
--- a/testdata/language-features/module/import04.reject.out
+++ b/testdata/language-features/module/import04.reject.out
@@ -5,7 +5,7 @@ and at testdata/language-features/module/Hello01.lc:3:1:
5hello = "hello" 5hello = "hello"
6^^^^^ 6^^^^^
7------------ trace 7------------ trace
8hello :: String 8hello :: String
9!already defined hello at testdata/language-features/module/import04.reject.lc:4:1: 9!already defined hello at testdata/language-features/module/import04.reject.lc:4:1:
10hello = "hello" 10hello = "hello"
11^^^^^ 11^^^^^
@@ -13,5 +13,7 @@ and at testdata/language-features/module/Hello01.lc:3:1:
13hello = "hello" 13hello = "hello"
14^^^^^ 14^^^^^
15------------ tooltips 15------------ tooltips
16testdata/language-features/module/import04.reject.lc 4:1-4:6 String 16testdata/language-features/module/import04.reject.lc 4:1-4:6
17testdata/language-features/module/import04.reject.lc 4:9-4:16 String 17 String
18testdata/language-features/module/import04.reject.lc 4:9-4:16
19 String \ No newline at end of file
diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out
index 1074387f..96f021c2 100644
--- a/testdata/language-features/module/import05.out
+++ b/testdata/language-features/module/import05.out
@@ -2,8 +2,11 @@
2x = _rhs hello :: String 2x = _rhs hello :: String
3main is not found 3main is not found
4------------ trace 4------------ trace
5x :: String 5x :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/import05.lc 3:6-3:12 Type 7testdata/language-features/module/import05.lc 3:6-3:12
8testdata/language-features/module/import05.lc 4:1-4:2 String 8 Type
9testdata/language-features/module/import05.lc 4:5-4:10 String 9testdata/language-features/module/import05.lc 4:1-4:2
10 String
11testdata/language-features/module/import05.lc 4:5-4:10
12 String \ No newline at end of file
diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out
index 7709e076..a8852987 100644
--- a/testdata/language-features/module/import06.out
+++ b/testdata/language-features/module/import06.out
@@ -3,10 +3,14 @@ hello = _rhs HNil
3x = _rhs world 3x = _rhs world
4main is not found 4main is not found
5------------ trace 5------------ trace
6hello :: () 6hello :: ()
7x :: String 7x :: String
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/import06.lc 3:1-3:6 () 9testdata/language-features/module/import06.lc 3:1-3:6
10testdata/language-features/module/import06.lc 3:9-3:11 () 10 ()
11testdata/language-features/module/import06.lc 4:1-4:2 String 11testdata/language-features/module/import06.lc 3:9-3:11
12testdata/language-features/module/import06.lc 4:5-4:10 String 12 ()
13testdata/language-features/module/import06.lc 4:1-4:2
14 String
15testdata/language-features/module/import06.lc 4:5-4:10
16 String \ No newline at end of file
diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out
index d4246086..c9285662 100644
--- a/testdata/language-features/module/import07.out
+++ b/testdata/language-features/module/import07.out
@@ -3,10 +3,14 @@ hello = _rhs HNil
3x = _rhs world 3x = _rhs world
4main is not found 4main is not found
5------------ trace 5------------ trace
6hello :: () 6hello :: ()
7x :: String 7x :: String
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/import07.lc 3:1-3:6 () 9testdata/language-features/module/import07.lc 3:1-3:6
10testdata/language-features/module/import07.lc 3:9-3:11 () 10 ()
11testdata/language-features/module/import07.lc 4:1-4:2 String 11testdata/language-features/module/import07.lc 3:9-3:11
12testdata/language-features/module/import07.lc 4:5-4:10 String 12 ()
13testdata/language-features/module/import07.lc 4:1-4:2
14 String
15testdata/language-features/module/import07.lc 4:5-4:10
16 String \ No newline at end of file
diff --git a/testdata/language-features/module/import08.out b/testdata/language-features/module/import08.out
index 75c34115..24006b18 100644
--- a/testdata/language-features/module/import08.out
+++ b/testdata/language-features/module/import08.out
@@ -5,19 +5,30 @@ h = _rhs hello :: String
5w = _rhs world :: String 5w = _rhs world :: String
6main is not found 6main is not found
7------------ trace 7------------ trace
8value :: () 8value :: ()
9g :: Char 9g :: Char
10h :: String 10h :: String
11w :: String 11w :: String
12------------ tooltips 12------------ tooltips
13testdata/language-features/module/import08.lc 3:1-3:6 () 13testdata/language-features/module/import08.lc 3:1-3:6
14testdata/language-features/module/import08.lc 3:9-3:11 () 14 ()
15testdata/language-features/module/import08.lc 5:6-5:10 Type 15testdata/language-features/module/import08.lc 3:9-3:11
16testdata/language-features/module/import08.lc 6:1-6:2 Char 16 ()
17testdata/language-features/module/import08.lc 6:5-6:13 Char 17testdata/language-features/module/import08.lc 5:6-5:10
18testdata/language-features/module/import08.lc 8:6-8:12 Type 18 Type
19testdata/language-features/module/import08.lc 9:1-9:2 String 19testdata/language-features/module/import08.lc 6:1-6:2
20testdata/language-features/module/import08.lc 9:5-9:10 String 20 Char
21testdata/language-features/module/import08.lc 11:6-11:12 Type 21testdata/language-features/module/import08.lc 6:5-6:13
22testdata/language-features/module/import08.lc 12:1-12:2 String 22 Char
23testdata/language-features/module/import08.lc 12:5-12:10 String 23testdata/language-features/module/import08.lc 8:6-8:12
24 Type
25testdata/language-features/module/import08.lc 9:1-9:2
26 String
27testdata/language-features/module/import08.lc 9:5-9:10
28 String
29testdata/language-features/module/import08.lc 11:6-11:12
30 Type
31testdata/language-features/module/import08.lc 12:1-12:2
32 String
33testdata/language-features/module/import08.lc 12:5-12:10
34 String \ No newline at end of file
diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out
index c8edeca8..790fbf72 100644
--- a/testdata/language-features/module/import09.out
+++ b/testdata/language-features/module/import09.out
@@ -4,12 +4,19 @@ fun
4 :: forall (b :: _) . b -> MyUnit -> MyUnit 4 :: forall (b :: _) . b -> MyUnit -> MyUnit
5main is not found 5main is not found
6------------ trace 6------------ trace
7fun :: forall a . a -> () -> () 7fun :: forall a . a -> () -> ()
8------------ tooltips 8------------ tooltips
9testdata/language-features/module/import09.lc 3:8-3:9 _b 9testdata/language-features/module/import09.lc 3:8-3:9
10testdata/language-features/module/import09.lc 3:8-3:29 Type 10 _b
11testdata/language-features/module/import09.lc 3:13-3:19 Type 11testdata/language-features/module/import09.lc 3:8-3:29
12testdata/language-features/module/import09.lc 3:13-3:29 Type 12 Type
13testdata/language-features/module/import09.lc 3:23-3:29 Type 13testdata/language-features/module/import09.lc 3:13-3:19
14testdata/language-features/module/import09.lc 4:1-4:4 forall a . a -> () -> () 14 Type
15testdata/language-features/module/import09.lc 4:12-4:14 () | () -> () | _a -> () -> () 15testdata/language-features/module/import09.lc 3:13-3:29
16 Type
17testdata/language-features/module/import09.lc 3:23-3:29
18 Type | Type
19testdata/language-features/module/import09.lc 4:1-4:4
20 forall a . a -> () -> ()
21testdata/language-features/module/import09.lc 4:12-4:14
22 () | () \ No newline at end of file
diff --git a/testdata/language-features/module/import10.reject.out b/testdata/language-features/module/import10.reject.out
index 5a61239c..32e5619b 100644
--- a/testdata/language-features/module/import10.reject.out
+++ b/testdata/language-features/module/import10.reject.out
@@ -5,7 +5,7 @@ and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
5type MyUnit = () 5type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: 9!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6:
10type MyUnit = () 10type MyUnit = ()
11 ^^^^^^ 11 ^^^^^^
@@ -13,5 +13,7 @@ and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = () 13type MyUnit = ()
14 ^^^^^^ 14 ^^^^^^
15------------ tooltips 15------------ tooltips
16testdata/language-features/module/import10.reject.lc 3:6-3:12 Type 16testdata/language-features/module/import10.reject.lc 3:6-3:12
17testdata/language-features/module/import10.reject.lc 3:15-3:17 Type 17 Type
18testdata/language-features/module/import10.reject.lc 3:15-3:17
19 Type \ No newline at end of file
diff --git a/testdata/language-features/module/import11.reject.out b/testdata/language-features/module/import11.reject.out
index f686f7e8..93bcee00 100644
--- a/testdata/language-features/module/import11.reject.out
+++ b/testdata/language-features/module/import11.reject.out
@@ -5,7 +5,7 @@ and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
5type MyUnit = () 5type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: 9!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6:
10type MyUnit = () 10type MyUnit = ()
11 ^^^^^^ 11 ^^^^^^
@@ -13,5 +13,7 @@ and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = () 13type MyUnit = ()
14 ^^^^^^ 14 ^^^^^^
15------------ tooltips 15------------ tooltips
16testdata/language-features/module/import11.reject.lc 3:6-3:12 Type 16testdata/language-features/module/import11.reject.lc 3:6-3:12
17testdata/language-features/module/import11.reject.lc 3:15-3:17 Type 17 Type
18testdata/language-features/module/import11.reject.lc 3:15-3:17
19 Type \ No newline at end of file
diff --git a/testdata/language-features/module/import12.out b/testdata/language-features/module/import12.out
index da5cbbc0..32b7bdd8 100644
--- a/testdata/language-features/module/import12.out
+++ b/testdata/language-features/module/import12.out
@@ -2,7 +2,9 @@
2fun = _rhs hello 2fun = _rhs hello
3main is not found 3main is not found
4------------ trace 4------------ trace
5fun :: String 5fun :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/import12.lc 4:1-4:4 String 7testdata/language-features/module/import12.lc 4:1-4:4
8testdata/language-features/module/import12.lc 4:7-4:12 String 8 String
9testdata/language-features/module/import12.lc 4:7-4:12
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/import13.out b/testdata/language-features/module/import13.out
index 509460bf..7167ad27 100644
--- a/testdata/language-features/module/import13.out
+++ b/testdata/language-features/module/import13.out
@@ -2,7 +2,9 @@
2fun = _rhs hello 2fun = _rhs hello
3main is not found 3main is not found
4------------ trace 4------------ trace
5fun :: String 5fun :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/import13.lc 4:1-4:4 String 7testdata/language-features/module/import13.lc 4:1-4:4
8testdata/language-features/module/import13.lc 4:7-4:12 String 8 String
9testdata/language-features/module/import13.lc 4:7-4:12
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/import14.out b/testdata/language-features/module/import14.out
index 73df8f0a..19d18b88 100644
--- a/testdata/language-features/module/import14.out
+++ b/testdata/language-features/module/import14.out
@@ -2,7 +2,9 @@
2fun = _rhs hello 2fun = _rhs hello
3main is not found 3main is not found
4------------ trace 4------------ trace
5fun :: String 5fun :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/import14.lc 4:1-4:4 String 7testdata/language-features/module/import14.lc 4:1-4:4
8testdata/language-features/module/import14.lc 4:7-4:12 String 8 String
9testdata/language-features/module/import14.lc 4:7-4:12
10 String \ No newline at end of file
diff --git a/testdata/language-features/module/import15.out b/testdata/language-features/module/import15.out
index 92df1171..bb60b565 100644
--- a/testdata/language-features/module/import15.out
+++ b/testdata/language-features/module/import15.out
@@ -2,7 +2,9 @@
2fun = _rhs hello 2fun = _rhs hello
3main is not found 3main is not found
4------------ trace 4------------ trace
5fun :: String 5fun :: String
6------------ tooltips 6------------ tooltips
7testdata/language-features/module/import15.lc 3:1-3:4 String 7testdata/language-features/module/import15.lc 3:1-3:4
8testdata/language-features/module/import15.lc 3:7-3:12 String 8 String
9testdata/language-features/module/import15.lc 3:7-3:12
10 String \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:16:33 +0000