1 files changed, 9 insertions, 9 deletions

diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out
index 8cd1a663..9d3651c2 100644
--- a/testdata/language-features/basic-list/listcomp07.out
+++ b/testdata/language-features/basic-list/listcomp07.out
@@ -4,25 +4,25 @@ value1
     (concatMap
       \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
         True
-        \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : Nil
-        Nil
-      (HNil : HNil : Nil))
+        \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []
+        []
+      (HNil : HNil : []))
 value2
   = _rhs
     (concatMap
       \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
         True
-        \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : Nil
-        Nil
-      (HNil : HNil : Nil))
+        \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []
+        []
+      (HNil : HNil : []))
 value3
   = _rhs
     (concatMap
       \_ (a := _rhs HNil) (b := _rhs ((\(c :: _) -> c) a)) -> primIfThenElse
         True
-        \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : Nil
-        Nil
-      (HNil : HNil : Nil))
+        \(d := _rhs b) (e := _rhs ((\(f :: _) -> f) d)) -> b : []
+        []
+      (HNil : HNil : []))
 main is not found
 ------------ trace
 value1 :: List ()