1 files changed, 26 insertions, 0 deletions

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 3f5e3629..746fa7b9 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -1,3 +1,29 @@
+------------ desugared source code
+infix 4 ==
+infix 4 /=
+infix 4 <
+infixr 3 &&
+infixr 2 ||
+not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a
+&& = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs False) (_rhs b) a
+|| = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs b) (_rhs True) a
+'Eq
+  = (\(a :: _) -> match'Bool
+      \_ -> _
+      (_rhs 'Unit)
+      a
+      (_rhs ('Empty "no instance of 'Eq on ???")))
+    :: Type -> Type
+==
+  = (\ @a -> \ @_ -> match'Bool
+      \_ -> _
+      (_rhs
+        \(b
+          := \(c :: _) (d :: _) -> 'BoolCase \_ -> _ :: _ (_rhs (not d)) (_rhs d) c) -> b)
+      a
+      (_rhs undefined))
+    :: forall e . Eq e => e -> e -> Bool
+/= = \(a :: _) (b :: _) -> _rhs (not (a == b))
 main is not found
 ------------ trace
 not :: Bool -> Bool