refactoring

15 files changed, 24 insertions, 15 deletions

diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out
index 5df5b1a0..41b1f057 100644
--- a/testdata/language-features/basic-list/list01.out
+++ b/testdata/language-features/basic-list/list01.out
@@ -1,8 +1,10 @@
+main is not found
 ------------ desugared source code
 value1 = _rhs []
+
 value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : [])
+
 value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : [])
-main is not found
 ------------ trace
 value1 :: forall a . [a]
 value2 :: forall a . Num a => [a]
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out
index dec74991..6101a1fa 100644
--- a/testdata/language-features/basic-list/list02.out
+++ b/testdata/language-features/basic-list/list02.out
@@ -1,8 +1,10 @@
+main is not found
 ------------ desugared source code
 value1 = _rhs []
+
 value2 = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : [])
+
 value3 = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : [])
-main is not found
 ------------ trace
 value1 :: forall a . [a]
 value2 :: forall a . Num a => [a]
diff --git a/testdata/language-features/basic-list/list08.out b/testdata/language-features/basic-list/list08.out
index aebab457..800c75aa 100644
--- a/testdata/language-features/basic-list/list08.out
+++ b/testdata/language-features/basic-list/list08.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 value = _rhs (fromInt 1 : 1.2 : [])
-main is not found
 ------------ trace
 value :: [Float]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list09.out b/testdata/language-features/basic-list/list09.out
index 11abf486..79bb9d42 100644
--- a/testdata/language-features/basic-list/list09.out
+++ b/testdata/language-features/basic-list/list09.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 value = _rhs (fromInt 1 : 1.2 : [] :: [Float])
-main is not found
 ------------ trace
 value :: [Float]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out
index b70c324c..005c6959 100644
--- a/testdata/language-features/basic-list/list11.out
+++ b/testdata/language-features/basic-list/list11.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 value = _rhs (fromInt 1 : [])
-main is not found
 ------------ trace
 value :: forall a . Num a => [a]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out
index 5a5f796d..75cc03e1 100644
--- a/testdata/language-features/basic-list/list12.out
+++ b/testdata/language-features/basic-list/list12.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 value = _rhs (fromInt 1 : fromInt 2 : fromInt 3 : fromInt 4 : fromInt 5 : [])
-main is not found
 ------------ trace
 value :: forall a . Num a => [a]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/list13.out b/testdata/language-features/basic-list/list13.out
index 66403b86..9e72ee74 100644
--- a/testdata/language-features/basic-list/list13.out
+++ b/testdata/language-features/basic-list/list13.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 value = _rhs ('h' : 'e' : 'l' : 'l' : 'o' : [])
-main is not found
 ------------ trace
 value :: [Char]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out
index fe914476..52af0c94 100644
--- a/testdata/language-features/basic-list/listcomp01.out
+++ b/testdata/language-features/basic-list/listcomp01.out
@@ -1,6 +1,6 @@
+main is not found
 ------------ desugared source code
 value = _rhs (concatMap (\_ -> HNil : []) (HNil : HNil : HNil : HNil : []))
-main is not found
 ------------ trace
 value :: [()]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out
index 8d7d9de5..7a2a2998 100644
--- a/testdata/language-features/basic-list/listcomp02.out
+++ b/testdata/language-features/basic-list/listcomp02.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 l = _rhs (HNil : HNil : HNil : HNil : [])
+
 value = _rhs (concatMap (\(a :: _) -> a : []) l)
-main is not found
 ------------ trace
 l :: [()]
 value :: [()]
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out
index 3de6ae88..ee6dfd4a 100644
--- a/testdata/language-features/basic-list/listcomp03.out
+++ b/testdata/language-features/basic-list/listcomp03.out
@@ -1,10 +1,10 @@
+main is not found
 ------------ desugared source code
 value
   = _rhs
     (concatMap
       (\_ -> primIfThenElse False (HNil : []) [])
       (HNil : HNil : HNil : HNil : []))
-main is not found
 ------------ trace
 value :: [()]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out
index dce40a1a..1069a83b 100644
--- a/testdata/language-features/basic-list/listcomp04.out
+++ b/testdata/language-features/basic-list/listcomp04.out
@@ -1,7 +1,8 @@
+main is not found
 ------------ desugared source code
 l = _rhs (HNil : HNil : HNil : HNil : [])
+
 value = _rhs (concatMap (\_ -> concatMap (\_ -> HNil : []) l) l)
-main is not found
 ------------ trace
 l :: [()]
 value :: [()]
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out
index 69de4559..b9c7afdb 100644
--- a/testdata/language-features/basic-list/listcomp05.out
+++ b/testdata/language-features/basic-list/listcomp05.out
@@ -1,10 +1,10 @@
+main is not found
 ------------ desugared source code
 value
   = _rhs
     (concatMap
       (\_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : [])
       (HNil : HNil : []))
-main is not found
 ------------ trace
 value :: [()]
 ------------ tooltips
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out
index 590793bb..51a69cf6 100644
--- a/testdata/language-features/basic-list/listcomp06.out
+++ b/testdata/language-features/basic-list/listcomp06.out
@@ -1,3 +1,4 @@
+main is not found
 ------------ desugared source code
 value1
   = _rhs
@@ -7,6 +8,7 @@ value1
         (b : [])
         [])
       (HNil : HNil : []))
+
 value2
   = _rhs
     (concatMap
@@ -15,7 +17,6 @@ value2
         (\(a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> b : [])
         [])
       (HNil : HNil : []))
-main is not found
 ------------ trace
 value1 :: [()]
 value2 :: [()]
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out
index a3e5a671..483d128f 100644
--- a/testdata/language-features/basic-list/listcomp07.out
+++ b/testdata/language-features/basic-list/listcomp07.out
@@ -1,3 +1,4 @@
+main is not found
 ------------ desugared source code
 value1
   = _rhs
@@ -7,6 +8,7 @@ value1
         (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : [])
         [])
       (HNil : HNil : []))
+
 value2
   = _rhs
     (concatMap
@@ -15,6 +17,7 @@ value2
         (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : [])
         [])
       (HNil : HNil : []))
+
 value3
   = _rhs
     (concatMap
@@ -23,7 +26,6 @@ value3
         (\(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : [])
         [])
       (HNil : HNil : []))
-main is not found
 ------------ trace
 value1 :: [()]
 value2 :: [()]
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out
index 96351e61..75d2dbf5 100644
--- a/testdata/language-features/basic-list/listcomp09.out
+++ b/testdata/language-features/basic-list/listcomp09.out
@@ -1,7 +1,7 @@
+main is not found
 ------------ desugared source code
 value1
   = _rhs (concatMap (\_ -> (\(a :: _) -> hlistNilCase _ "Hello" a) : []) [])
-main is not found
 ------------ trace
 value1 :: Type => [() -> String]
 ------------ tooltips