summaryrefslogtreecommitdiff
path: root/testdata/zip01.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r--testdata/zip01.out2
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out
index 582866bb..650f67b5 100644
--- a/testdata/zip01.out
+++ b/testdata/zip01.out
@@ -1,3 +1,4 @@
1main is not found
1------------ desugared source code 2------------ desugared source code
2zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [HList (a : b : '[])] 3zip2 :: forall (a :: _) (b :: _) . [a] -> [b] -> [HList (a : b : '[])]
3zip2 4zip2
@@ -10,7 +11,6 @@ zip2
10 (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)) 11 (\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f))
11 b) 12 b)
12 a 13 a
13main is not found
14------------ trace 14------------ trace
15zip2 :: forall a b . [a] -> [b] -> [(a, b)] 15zip2 :: forall a b . [a] -> [b] -> [(a, b)]
16------------ tooltips 16------------ tooltips