1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out
index 1f7d4c25..6393822e 100644
--- a/testdata/zip01.out
+++ b/testdata/zip01.out
@@ -1,9 +1,9 @@
 ------------ desugared source code
 zip2
-  = (\(a :: _) (b :: _) -> 'ListCase
+  = (\(a :: _) (b :: _) -> case'List
      \_ -> _ :: _
      (_rhs [])
-      \(c :: _) (d :: _) -> 'ListCase
+      \(c :: _) (d :: _) -> case'List
        \_ -> _ :: _
        (_rhs [])
        \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)

diff --git a/testdata/zip01.out b/testdata/zip01.out index 1f7d4c25..6393822e 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out
@@ -1,9 +1,9 @@
1	------------ desugared source code	1	------------ desugared source code
2	zip2	2	zip2
3	= (\(a :: _) (b :: _) -> 'ListCase	3	= (\(a :: _) (b :: _) -> case'List
4	\_ -> _ :: _	4	\_ -> _ :: _
5	(_rhs [])	5	(_rhs [])
6	\(c :: _) (d :: _) -> 'ListCase	6	\(c :: _) (d :: _) -> case'List
7	\_ -> _ :: _	7	\_ -> _ :: _
8	(_rhs [])	8	(_rhs [])
9	\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)	9	\(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f)