From faee968e525f9d3b634f9566431aa3f20d49f0f6 Mon Sep 17 00:00:00 2001
From: Ian Lynagh <ian@well-typed.com>
Date: Fri, 4 Jan 2013 20:21:00 +0000
Subject: [PATCH] Fix build for 7.6 branch
---
compiler/coreSyn/PprExternalCore.lhs | 2 --
1 file changed, 2 deletions(-)
diff --git a/compiler/coreSyn/PprExternalCore.lhs b/compiler/coreSyn/PprExternalCore.lhs
index a88303d35827..5495ff66957c 100644
--- a/compiler/coreSyn/PprExternalCore.lhs
+++ b/compiler/coreSyn/PprExternalCore.lhs
@@ -117,8 +117,6 @@ pty (NthCoercion n t) =
sep [text "%nth", int n, paty t]
pty (InstCoercion t1 t2) =
sep [text "%inst", paty t1, paty t2]
-pty (AxiomCoercion tc i cos) =
- pqname tc <+> int i <+> sep (map paty cos)
pty ty@(Tapp {}) = pappty ty []
pty ty@(Tvar {}) = paty ty
pty ty@(Tcon {}) = paty ty
--
GitLab