From 90e336391673ac1cf9ff582e98e35faf89a8f09d Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Sun, 1 May 2016 19:13:34 +0200
Subject: improve pretty print layout & show desugared source code in .out
 files

---
 testdata/zip01.out | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'testdata/zip01.out')

diff --git a/testdata/zip01.out b/testdata/zip01.out
index cd811cda..deb2cf14 100644
--- a/testdata/zip01.out
+++ b/testdata/zip01.out
@@ -1,3 +1,16 @@
+------------ desugared source code
+zip2
+  = (\(a :: _) (b :: _) -> 'ListCase
+      \_ -> _ :: _
+      (_rhs Nil)
+      \(c :: _) (d :: _) -> 'ListCase
+        \_ -> _ :: _
+        (_rhs Nil)
+        \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)
+        b
+      a)
+    :: forall (g :: _) (h :: _)
+      . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil)))
 main is not found
 ------------ trace
 zip2 :: forall a b . List a -> List b -> List (a, b)
-- 
cgit v1.2.3