From 22ffdffa5a9d8f3c74e85f82fae8af5b2bbbf617 Mon Sep 17 00:00:00 2001
From: Martin Fredin <fredin.martin@gmail.com>
Date: Thu, 27 Apr 2023 18:59:16 +0200
Subject: [PATCH] Fix pretty printer

---
 src/TypeChecker/TypeCheckerIr.hs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/TypeChecker/TypeCheckerIr.hs b/src/TypeChecker/TypeCheckerIr.hs
index 21f2227..847c4a9 100644
--- a/src/TypeChecker/TypeCheckerIr.hs
+++ b/src/TypeChecker/TypeCheckerIr.hs
@@ -74,9 +74,8 @@ instance Print t => Print (Program' t) where
     prt i (Program sc) = prt i sc
 
 instance Print t => Print (Bind' t) where
-    prt i (Bind sig@(name, _) parms rhs) = concatD
+    prt i (Bind sig parms rhs) = concatD
                 [ prtSig sig
-                , prt i name
                 , prt i parms
                 , doc $ showString "="
                 , prt i rhs
@@ -88,7 +87,6 @@ prtSig (name, t) =
         [ prt 0 name
         , doc $ showString ":"
         , prt 0 t
-        , doc $ showString ";"
         ]
 
 instance Print t => Print (ExpT' t) where