From cf3e86b87cd6ffb22c8f0348afd57d8f0d19ddbf Mon Sep 17 00:00:00 2001
From: Tim Whiting <tim@whitings.org>
Date: Fri, 12 Jan 2024 18:52:05 -0700
Subject: [PATCH] update based on dev

---
 src/Syntax/Pretty.hs       | 2 +-
 test/kind/deriving-help.kk | 8 --------
 test/kind/deriving.kk      | 2 --
 3 files changed, 1 insertion(+), 11 deletions(-)
 delete mode 100644 test/kind/deriving-help.kk

diff --git a/src/Syntax/Pretty.hs b/src/Syntax/Pretty.hs
index eb3d57df3..cde281689 100644
--- a/src/Syntax/Pretty.hs
+++ b/src/Syntax/Pretty.hs
@@ -84,7 +84,7 @@ ppExpr env expr
    Var na b ra -> ppName env na
    Case ex brs ra -> keyword env "match" <+> ppExpr env ex <-> hang 2 (vcat (map (ppBranch env) brs))
    Ann ex ty _ -> ppExpr env ex <+> text ":" <+> ppType env ty
-   Parens ex _ _ -> tupled [ppExpr env ex]
+   Parens ex _ _ _ -> tupled [ppExpr env ex]
    Lit lit -> ppLit env lit
    -- Not as sure about these
    Let dg ex _ -> keyword env "val" <+> ppDefGroup env dg <+> text "=" <+> ppExpr env ex
diff --git a/test/kind/deriving-help.kk b/test/kind/deriving-help.kk
deleted file mode 100644
index 482351457..000000000
--- a/test/kind/deriving-help.kk
+++ /dev/null
@@ -1,8 +0,0 @@
-
-fun list/(==)(this: list<a>, that: list<a>, ?(==): (a,a) -> <div|e> bool): <div|e> bool
-  match this
-    Cons(x, rst) ->
-      match that 
-        Cons(y, rst2) -> x == y && list/(==)(rst, rst2)
-        _ -> False    
-    Nil -> that.is-nil
\ No newline at end of file
diff --git a/test/kind/deriving.kk b/test/kind/deriving.kk
index f3fd7a64b..600977b9f 100644
--- a/test/kind/deriving.kk
+++ b/test/kind/deriving.kk
@@ -1,5 +1,3 @@
-import deriving-help
-
 // Simple struct
 struct hello1
   abc: int