22 files changed, 33 insertions, 22 deletions
diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out
index aee194f1..34f3f918 100644
--- a/testdata/language-features/module/Hello01.out
+++ b/testdata/language-features/module/Hello01.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
 world = _rhs "world"
-main is not found
 ------------ trace
 hello :: String
 world :: String
diff --git a/testdata/language-features/module/Hello02.out b/testdata/language-features/module/Hello02.out
index 9d582484..fc3a7be7 100644
--- a/testdata/language-features/module/Hello02.out
+++ b/testdata/language-features/module/Hello02.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
 world = _rhs "world"
-main is not found
 ------------ trace
 hello :: String
 world :: String
diff --git a/testdata/language-features/module/Hello03.out b/testdata/language-features/module/Hello03.out
index 98956c8a..8a645fda 100644
--- a/testdata/language-features/module/Hello03.out
+++ b/testdata/language-features/module/Hello03.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 greeting = _rhs 'G'
 value = _rhs 12.2
-main is not found
 ------------ trace
 greeting :: Char
 value :: Float
diff --git a/testdata/language-features/module/ModulePackage/SubModule01.out b/testdata/language-features/module/ModulePackage/SubModule01.out
index 44457c17..119eaeac 100644
--- a/testdata/language-features/module/ModulePackage/SubModule01.out
+++ b/testdata/language-features/module/ModulePackage/SubModule01.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "Hello"
-main is not found
 ------------ trace
 hello :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/Moduledef01.out b/testdata/language-features/module/Moduledef01.out
index 907bca84..521dcdfe 100644
--- a/testdata/language-features/module/Moduledef01.out
+++ b/testdata/language-features/module/Moduledef01.out
@@ -1,2 +1,2 @@
------------ desugared source code
 main is not found
+------------ desugared source code
+\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out
index 95f989ee..ef523d5a 100644
--- a/testdata/language-features/module/Moduledef06.out
+++ b/testdata/language-features/module/Moduledef06.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
-main is not found
 ------------ trace
 hello :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out
index 0dafaaa8..ac2aa83e 100644
--- a/testdata/language-features/module/Moduledef07.out
+++ b/testdata/language-features/module/Moduledef07.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
-main is not found
 ------------ trace
 hello :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out
index d7add14b..e2b3e946 100644
--- a/testdata/language-features/module/Moduledef08.out
+++ b/testdata/language-features/module/Moduledef08.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
-main is not found
 ------------ trace
 hello :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/Moduledef09.out b/testdata/language-features/module/Moduledef09.out
index f90be0b2..503326bb 100644
--- a/testdata/language-features/module/Moduledef09.out
+++ b/testdata/language-features/module/Moduledef09.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
 world = _rhs "world"
-main is not found
 ------------ trace
 hello :: String
 world :: String
diff --git a/testdata/language-features/module/Moduledef10.out b/testdata/language-features/module/Moduledef10.out
index 2928a534..42b98df9 100644
--- a/testdata/language-features/module/Moduledef10.out
+++ b/testdata/language-features/module/Moduledef10.out
@@ -1,8 +1,10 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
 world = _rhs "world"
 value = _rhs HNil
-main is not found
 ------------ trace
 hello :: String
 world :: String
diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out
index 7b6fb91d..90ae50c7 100644
--- a/testdata/language-features/module/Moduledef13.out
+++ b/testdata/language-features/module/Moduledef13.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 hello = _rhs "hello"
-main is not found
 ------------ trace
 hello :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out
index a43e184e..51565796 100644
--- a/testdata/language-features/module/TypeSyn01Mod.out
+++ b/testdata/language-features/module/TypeSyn01Mod.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 'MyUnit = _rhs ('HList [])
-main is not found
 ------------ trace
 'MyUnit :: Type
 ------------ tooltips
diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out
index 0c9e505e..531eae39 100644
--- a/testdata/language-features/module/import01.out
+++ b/testdata/language-features/module/import01.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 x = _rhs hello
-main is not found
 ------------ trace
 x :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out
index 4cb3a2f4..9dfe0dba 100644
--- a/testdata/language-features/module/import05.out
+++ b/testdata/language-features/module/import05.out
@@ -1,7 +1,7 @@
+main is not found
 ------------ desugared source code
 x :: String
 x = _rhs hello
-main is not found
 ------------ trace
 x :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out
index a8852987..fd792bd3 100644
--- a/testdata/language-features/module/import06.out
+++ b/testdata/language-features/module/import06.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 hello = _rhs HNil
 x = _rhs world
-main is not found
 ------------ trace
 hello :: ()
 x :: String
diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out
index c9285662..4bb045c3 100644
--- a/testdata/language-features/module/import07.out
+++ b/testdata/language-features/module/import07.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 hello = _rhs HNil
 x = _rhs world
-main is not found
 ------------ trace
 hello :: ()
 x :: String
diff --git a/testdata/language-features/module/import08.out b/testdata/language-features/module/import08.out
index ce0235db..aad9ca58 100644
--- a/testdata/language-features/module/import08.out
+++ b/testdata/language-features/module/import08.out
@@ -1,12 +1,15 @@
+main is not found
 ------------ desugared source code
 value = _rhs HNil
 g :: Char
 g = _rhs greeting
 h :: String
 h = _rhs hello
 w :: String
 w = _rhs world
-main is not found
 ------------ trace
 value :: ()
 g :: Char
diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out
index 42b1de3a..12e13325 100644
--- a/testdata/language-features/module/import09.out
+++ b/testdata/language-features/module/import09.out
@@ -1,7 +1,7 @@
+main is not found
 ------------ desugared source code
 fun :: forall (a :: _) . a -> MyUnit -> MyUnit
 fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a
-main is not found
 ------------ trace
 fun :: forall a . a -> () -> ()
 ------------ tooltips
diff --git a/testdata/language-features/module/import12.out b/testdata/language-features/module/import12.out
index 32b7bdd8..df4d894b 100644
--- a/testdata/language-features/module/import12.out
+++ b/testdata/language-features/module/import12.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 fun = _rhs hello
-main is not found
 ------------ trace
 fun :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/import13.out b/testdata/language-features/module/import13.out
index 7167ad27..68ed44d8 100644
--- a/testdata/language-features/module/import13.out
+++ b/testdata/language-features/module/import13.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 fun = _rhs hello
-main is not found
 ------------ trace
 fun :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/import14.out b/testdata/language-features/module/import14.out
index 19d18b88..958207ba 100644
--- a/testdata/language-features/module/import14.out
+++ b/testdata/language-features/module/import14.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 fun = _rhs hello
-main is not found
 ------------ trace
 fun :: String
 ------------ tooltips
diff --git a/testdata/language-features/module/import15.out b/testdata/language-features/module/import15.out
index bb60b565..8727ac08 100644
--- a/testdata/language-features/module/import15.out
+++ b/testdata/language-features/module/import15.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 fun = _rhs hello
-main is not found
 ------------ trace
 fun :: String
 ------------ tooltips

diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out index aee194f1..34f3f918 100644 --- a/testdata/language-features/module/Hello01.out +++ b/testdata/language-features/module/Hello01.out
@@ -1,7 +1,8 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
		4
3	world = _rhs "world"	5	world = _rhs "world"
4	main is not found
5	------------ trace	6	------------ trace
6	hello :: String	7	hello :: String
7	world :: String	8	world :: String


diff --git a/testdata/language-features/module/Hello02.out b/testdata/language-features/module/Hello02.out index 9d582484..fc3a7be7 100644 --- a/testdata/language-features/module/Hello02.out +++ b/testdata/language-features/module/Hello02.out
@@ -1,7 +1,8 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
		4
3	world = _rhs "world"	5	world = _rhs "world"
4	main is not found
5	------------ trace	6	------------ trace
6	hello :: String	7	hello :: String
7	world :: String	8	world :: String


diff --git a/testdata/language-features/module/Hello03.out b/testdata/language-features/module/Hello03.out index 98956c8a..8a645fda 100644 --- a/testdata/language-features/module/Hello03.out +++ b/testdata/language-features/module/Hello03.out
@@ -1,7 +1,8 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	greeting = _rhs 'G'	3	greeting = _rhs 'G'
		4
3	value = _rhs 12.2	5	value = _rhs 12.2
4	main is not found
5	------------ trace	6	------------ trace
6	greeting :: Char	7	greeting :: Char
7	value :: Float	8	value :: Float


diff --git a/testdata/language-features/module/ModulePackage/SubModule01.out b/testdata/language-features/module/ModulePackage/SubModule01.out index 44457c17..119eaeac 100644 --- a/testdata/language-features/module/ModulePackage/SubModule01.out +++ b/testdata/language-features/module/ModulePackage/SubModule01.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "Hello"	3	hello = _rhs "Hello"
3	main is not found
4	------------ trace	4	------------ trace
5	hello :: String	5	hello :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/Moduledef01.out b/testdata/language-features/module/Moduledef01.out index 907bca84..521dcdfe 100644 --- a/testdata/language-features/module/Moduledef01.out +++ b/testdata/language-features/module/Moduledef01.out
@@ -1,2 +1,2 @@
1	------------ desugared source code
2	main is not found	1	main is not found
		2	------------ desugared source code \ No newline at end of file


diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out index 95f989ee..ef523d5a 100644 --- a/testdata/language-features/module/Moduledef06.out +++ b/testdata/language-features/module/Moduledef06.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
3	main is not found
4	------------ trace	4	------------ trace
5	hello :: String	5	hello :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out index 0dafaaa8..ac2aa83e 100644 --- a/testdata/language-features/module/Moduledef07.out +++ b/testdata/language-features/module/Moduledef07.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
3	main is not found
4	------------ trace	4	------------ trace
5	hello :: String	5	hello :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out index d7add14b..e2b3e946 100644 --- a/testdata/language-features/module/Moduledef08.out +++ b/testdata/language-features/module/Moduledef08.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
3	main is not found
4	------------ trace	4	------------ trace
5	hello :: String	5	hello :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/Moduledef09.out b/testdata/language-features/module/Moduledef09.out index f90be0b2..503326bb 100644 --- a/testdata/language-features/module/Moduledef09.out +++ b/testdata/language-features/module/Moduledef09.out
@@ -1,7 +1,8 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
		4
3	world = _rhs "world"	5	world = _rhs "world"
4	main is not found
5	------------ trace	6	------------ trace
6	hello :: String	7	hello :: String
7	world :: String	8	world :: String


diff --git a/testdata/language-features/module/Moduledef10.out b/testdata/language-features/module/Moduledef10.out index 2928a534..42b98df9 100644 --- a/testdata/language-features/module/Moduledef10.out +++ b/testdata/language-features/module/Moduledef10.out
@@ -1,8 +1,10 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
		4
3	world = _rhs "world"	5	world = _rhs "world"
		6
4	value = _rhs HNil	7	value = _rhs HNil
5	main is not found
6	------------ trace	8	------------ trace
7	hello :: String	9	hello :: String
8	world :: String	10	world :: String


diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out index 7b6fb91d..90ae50c7 100644 --- a/testdata/language-features/module/Moduledef13.out +++ b/testdata/language-features/module/Moduledef13.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs "hello"	3	hello = _rhs "hello"
3	main is not found
4	------------ trace	4	------------ trace
5	hello :: String	5	hello :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/TypeSyn01Mod.out b/testdata/language-features/module/TypeSyn01Mod.out index a43e184e..51565796 100644 --- a/testdata/language-features/module/TypeSyn01Mod.out +++ b/testdata/language-features/module/TypeSyn01Mod.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	'MyUnit = _rhs ('HList [])	3	'MyUnit = _rhs ('HList [])
3	main is not found
4	------------ trace	4	------------ trace
5	'MyUnit :: Type	5	'MyUnit :: Type
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out index 0c9e505e..531eae39 100644 --- a/testdata/language-features/module/import01.out +++ b/testdata/language-features/module/import01.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	x = _rhs hello	3	x = _rhs hello
3	main is not found
4	------------ trace	4	------------ trace
5	x :: String	5	x :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out index 4cb3a2f4..9dfe0dba 100644 --- a/testdata/language-features/module/import05.out +++ b/testdata/language-features/module/import05.out
@@ -1,7 +1,7 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	x :: String	3	x :: String
3	x = _rhs hello	4	x = _rhs hello
4	main is not found
5	------------ trace	5	------------ trace
6	x :: String	6	x :: String
7	------------ tooltips	7	------------ tooltips


diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out index a8852987..fd792bd3 100644 --- a/testdata/language-features/module/import06.out +++ b/testdata/language-features/module/import06.out
@@ -1,7 +1,8 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs HNil	3	hello = _rhs HNil
		4
3	x = _rhs world	5	x = _rhs world
4	main is not found
5	------------ trace	6	------------ trace
6	hello :: ()	7	hello :: ()
7	x :: String	8	x :: String


diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out index c9285662..4bb045c3 100644 --- a/testdata/language-features/module/import07.out +++ b/testdata/language-features/module/import07.out
@@ -1,7 +1,8 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	hello = _rhs HNil	3	hello = _rhs HNil
		4
3	x = _rhs world	5	x = _rhs world
4	main is not found
5	------------ trace	6	------------ trace
6	hello :: ()	7	hello :: ()
7	x :: String	8	x :: String


diff --git a/testdata/language-features/module/import08.out b/testdata/language-features/module/import08.out index ce0235db..aad9ca58 100644 --- a/testdata/language-features/module/import08.out +++ b/testdata/language-features/module/import08.out
@@ -1,12 +1,15 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	value = _rhs HNil	3	value = _rhs HNil
		4
3	g :: Char	5	g :: Char
4	g = _rhs greeting	6	g = _rhs greeting
		7
5	h :: String	8	h :: String
6	h = _rhs hello	9	h = _rhs hello
		10
7	w :: String	11	w :: String
8	w = _rhs world	12	w = _rhs world
9	main is not found
10	------------ trace	13	------------ trace
11	value :: ()	14	value :: ()
12	g :: Char	15	g :: Char


diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out index 42b1de3a..12e13325 100644 --- a/testdata/language-features/module/import09.out +++ b/testdata/language-features/module/import09.out
@@ -1,7 +1,7 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	fun :: forall (a :: _) . a -> MyUnit -> MyUnit	3	fun :: forall (a :: _) . a -> MyUnit -> MyUnit
3	fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a	4	fun = \_ (a :: _) -> hlistNilCase _ (_rhs HNil) a
4	main is not found
5	------------ trace	5	------------ trace
6	fun :: forall a . a -> () -> ()	6	fun :: forall a . a -> () -> ()
7	------------ tooltips	7	------------ tooltips


diff --git a/testdata/language-features/module/import12.out b/testdata/language-features/module/import12.out index 32b7bdd8..df4d894b 100644 --- a/testdata/language-features/module/import12.out +++ b/testdata/language-features/module/import12.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	fun = _rhs hello	3	fun = _rhs hello
3	main is not found
4	------------ trace	4	------------ trace
5	fun :: String	5	fun :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/import13.out b/testdata/language-features/module/import13.out index 7167ad27..68ed44d8 100644 --- a/testdata/language-features/module/import13.out +++ b/testdata/language-features/module/import13.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	fun = _rhs hello	3	fun = _rhs hello
3	main is not found
4	------------ trace	4	------------ trace
5	fun :: String	5	fun :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/import14.out b/testdata/language-features/module/import14.out index 19d18b88..958207ba 100644 --- a/testdata/language-features/module/import14.out +++ b/testdata/language-features/module/import14.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	fun = _rhs hello	3	fun = _rhs hello
3	main is not found
4	------------ trace	4	------------ trace
5	fun :: String	5	fun :: String
6	------------ tooltips	6	------------ tooltips


diff --git a/testdata/language-features/module/import15.out b/testdata/language-features/module/import15.out index bb60b565..8727ac08 100644 --- a/testdata/language-features/module/import15.out +++ b/testdata/language-features/module/import15.out
@@ -1,6 +1,6 @@
		1	main is not found
1	------------ desugared source code	2	------------ desugared source code
2	fun = _rhs hello	3	fun = _rhs hello
3	main is not found
4	------------ trace	4	------------ trace
5	fun :: String	5	fun :: String
6	------------ tooltips	6	------------ tooltips