From 03e368e2daebeb7534fab8681a76068ede681913 Mon Sep 17 00:00:00 2001
From: Austin Seipp <austin@well-typed.com>
Date: Thu, 3 Jul 2014 16:35:21 -0500
Subject: [PATCH] Fix T7438 output

Signed-off-by: Austin Seipp <austin@well-typed.com>
---
 testsuite/tests/polykinds/T7438.stderr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr
index 92e01e747971..b20233cb40c4 100644
--- a/testsuite/tests/polykinds/T7438.stderr
+++ b/testsuite/tests/polykinds/T7438.stderr
@@ -4,7 +4,7 @@ T7438.hs:6:14:
       ‘t’ is untouchable
         inside the constraints (t2 ~ t3)
         bound by a pattern with constructor
-                   Nil :: forall (a :: k). Thrist a a,
+                   Nil :: forall (k :: BOX) (a :: k). Thrist a a,
                  in an equation for ‘go’
         at T7438.hs:6:4-6
       ‘t’ is a rigid type variable bound by
-- 
GitLab