1 files changed, 90 insertions, 1 deletions

diff --git a/testdata/listcompr04.out b/testdata/listcompr04.out
index 4791ed55..db27d5d9 100644
--- a/testdata/listcompr04.out
+++ b/testdata/listcompr04.out
@@ -1 +1,90 @@
-True
\ No newline at end of file
+main :: Bool
+main = True
+------------ desugared source code
+a :: [Float]
+a
+  = _lhs
+    a
+    (_rhs
+      let a = _lhs _k (_rhs 2.0); b = _lhs k (_rhs ((\(c :: _) -> c) a)) in concatMap
+        (\(d :: _) -> [d *! b])
+        [1.0, b])
+
+main :: Bool
+main
+  = _lhs
+    main
+    (_rhs
+      ((\(a :: _) -> case'List
+          (\(_ :: _) -> _)
+          undefined
+          (\(b :: _) (c :: _) -> case'Bool
+            (\(_ :: _) -> _)
+            undefined
+            (case'List
+              (\(_ :: _) -> _)
+              undefined
+              (\(d :: _) (e :: _) -> case'Bool
+                (\(_ :: _) -> _)
+                undefined
+                (case'List (\(_ :: _) -> _) True (\(_ :: _) (_ :: _) -> undefined) e)
+                (4.0 == d))
+              c)
+            (2.0 == b))
+          a)
+        a))
+------------ core code
+a :: [Float]
+a = _rhs [2.0, 4.0]
+
+main :: Bool
+main = _rhs True
+------------ tooltips
+testdata/listcompr04.lc 1:6-1:13
+    Type
+testdata/listcompr04.lc 1:7-1:12
+    Type
+testdata/listcompr04.lc 2:1-2:2
+    [Float]
+testdata/listcompr04.lc 2:6-2:7
+    _f
+testdata/listcompr04.lc 2:6-2:9
+    MatVecScalarElem _e -> _e
+testdata/listcompr04.lc 2:6-2:10
+    _e | [_d]
+testdata/listcompr04.lc 2:6-2:36
+    [Float]
+testdata/listcompr04.lc 2:7-2:9
+    forall a . Num (MatVecScalarElem a) => a -> MatVecScalarElem a -> a
+testdata/listcompr04.lc 2:9-2:10
+    Float
+testdata/listcompr04.lc 2:15-2:16
+    _b | Float
+testdata/listcompr04.lc 2:19-2:22
+    Float
+testdata/listcompr04.lc 2:28-2:36
+    [Float]
+testdata/listcompr04.lc 2:29-2:32
+    Float
+testdata/listcompr04.lc 2:34-2:35
+    Float | [Float]
+testdata/listcompr04.lc 4:9-4:13
+    Type
+testdata/listcompr04.lc 5:1-5:5
+    Bool
+testdata/listcompr04.lc 5:8-6:28
+    Bool
+testdata/listcompr04.lc 5:13-5:14
+    [Float]
+testdata/listcompr04.lc 6:24-6:28
+    Bool | Bool | Bool | Bool | Bool
+------------ warnings
+Uncovered pattern(s) at testdata/listcompr04.lc:5:13:
+main = case a of
+            ^
+Missing case(s):
+     []
+     (_ : _) | False <- 2.0 == _b
+     [_] | True <- 2.0 == _b
+     (_ : _ : _) | True <- 2.0 == _b, False <- 4.0 == _b
+     (_ : _ : _ : _) | True <- 2.0 == _b, True <- 4.0 == _b
\ No newline at end of file